Definition:Dedekind-Infinite

From ProofWiki
Jump to: navigation, search

Definition

A set is said to be Dedekind-infinite if and only if it is equivalent to (at least) one of its proper subsets.


Also see


Source of Name

This entry was named for Julius Wilhelm Richard Dedekind.