Each Right r←x(Fᑈ)y

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