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