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