aus f : : AB und x : : A folgt fx : : B.
aus f : : A1A2A3B
und x1 : : A1, x2 : : A2, x3 : : A3 folgt fx1x2x3 : : B
fx1x2 : : A3B