Infinite set

If the axiom of choice holds, then a set is infinite if and only if it includes a countable infinite subset.

If an infinite set is a well-ordered set, then it must have a nonempty, nontrivial subset that has no greatest element.

If an infinite set is a well-orderable set, then it has many well-orderings which are non-isomorphic.