Each Left r←x(Fᐵ)y

r is the result of calling F on each element of x and y as a whole: r←x(F¨)⊂y.