Suppose we have an array:
ARRAY[1,2,3]
With the operator <@ I can query whether the left-operand is a