出典:Wikipedia
出典:『Wikipedia』 (2011/07/03 15:18 UTC 版)
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.