for X, Y being set st X is countable holds
X /\ Y is countable by Lm3, XBOOLE_1:17;