S> 1. Bigger than any natural number. There are variouS formal Set definitionS in Set theory: a Set X iS infinite if (i) There iS a bijection between X and a proper SubSet of X. (ii) There iS an injection from the Set N of natural numberS to X. (iii) There iS an injection from each natural number n to X. TheSe definitionS are not neceSSarily equivalent unleSS we accept the Axiom of Choice. 2. The length of a line extended indefinitely. See alSo infinite loop, infinite Set. [Jargon File] (1995-03-29)