Definition:Finite
From ProofWiki
(Redirected from Definition:Finite Set)
Contents |
Definition
Finite Set
A set $S$ is defined as finite iff $\exists n \in \N: S \sim \N_n$, where $\sim$ denotes set equivalence.
That is, if there exists an element $n$ of the set of natural numbers $\N$ such that the set of all elements of $\N$ less than $n$ is equivalent to $S$.
Finite Extended Real Number
An extended real number is defined as finite iff it is a real number.
Also see
Sources
- Paul R. Halmos: Naive Set Theory (1960)... (previous)... (next): $\S 13$: Arithmetic
- J.A. Green: Sets and Groups (1965)... (previous)... (next): $\S 1.1$
- Seth Warner: Modern Algebra (1965)... (previous)... (next): $\S 17$
- A.N. Kolmogorov and S.V. Fomin‎: Introductory Real Analysis (1968): $\S 2.1$
- Allan Clark: Elements of Abstract Algebra (1971)... (previous)... (next): $\S 15$
- W.A. Sutherland: Introduction to Metric and Topological Spaces (1975): Notation and Terminology
- Thomas A. Whitelaw: An Introduction to Abstract Algebra (1978)... (previous)... (next): $\S 2 \ \text{(e)}$
- H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability (1996): $\S 1.7$, Appendix $\text{A}.1, \ \text{A}.6$
