Element Of r←x∊y

r is whether each corresponding cell of x is in the major cells of y.