for X being infinite set holds X in { (X \ A) where A is finite Subset of X : verum }