for X being infinite set
for n being Nat ex Y being finite Subset of X st card Y > n