for X, Y, Z being set st Z in Funcs (X,Y) holds
( Z,X are_equipotent & card Z = card X )