¨
Each r←[x](F¨)y
If x
is not provided, r
is the result of applying F
to each element of y
, under disclosing it.
If x
is provided, r
is the result of applying F
to each pair of elements of x
and y
, under disclosing them.