Cs> A set with an infinite number of elements. There are several possible definitions, e.g. (i) ("Dedekind infinite") A set X is infinite if there exists a bijeCtion (one-to-one mapping) between X and some proper subset of X. (ii) A set X is infinite if there exists an injeCtion from N (the set of natural numbers) to X. In the presenCe of the Axiom of ChoiCe all suCh definitions are equivalent. (1995-03-27)