Dedekind-infinite Set
In mathematics, a set A is Dedekind-infinite if some proper subset B of A is equinumerous to A. Explicitly, this means that there is a bijective function from A onto some proper subset B of A. A set is Dedekind-finite if it is not Dedekind-infinite.
A vaguely related notion is that of a Dedekind-finite ring. A ring is said to be a Dedekind-finite ring if ab=1 implies ba=1 for any two ring elements a and b. These rings have also been called directly finite rings.
Read more about Dedekind-infinite Set: Comparison With The Usual Definition of Infinite Set, Dedekind-infinite Sets in ZF, History, Relation To The Axiom of Choice, Proof of Equivalence To Infinity, Assuming Axiom of Countable Choice, Generalizations
Famous quotes containing the word set:
“When desire, having rejected reason and overpowered judgment which leads to right, is set in the direction of the pleasure which beauty can inspire, and when again under the influence of its kindred desires it is moved with violent motion towards the beauty of corporeal forms, it acquires a surname from this very violent motion, and is called love.”
—Socrates (469–399 B.C.)