theorem Th11: :: CARD_3:11

for X, Y being set holds Funcs (X,Y) = product (X --> Y)