theorem Th7: :: CARD_4:7

for X, Y being set st X is countable & Y is countable holds
[:X,Y:] is countable