# Infinite

<mathematics> 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]

< Previous Terms |
Terms Containing infinite |
Next Terms > |

infeasible path inference inference engine inference rule infimum |
ABC aleph 0 Axiom of Choice Banach space bit bang |
Infinite Impulse Response infinite loop Infinite Monkey Theorem infinite set infinity |