for A, B being set st B is infinite holds
not B in [:A,B:]