theorem :: CARD_3:95

for X, Y being set st X is countable holds
X \ Y is countable ;