for A being Subset of NAT st ( for n, m being Nat st n in A & m < n holds
m in A ) holds
A is Cardinal