Infinite Dedekind-finite set
= Infinite Dedekind-finite set
= Dedekind set
{c}
{synonym}
An <infinite Dedekind-finite set> is an <infinite set> with no <subset> that is a <countably infinite set>. The name Dedekind <set> is sometimes used for this combination of properties. Under the <axiom of choice> no such <set> exists; results about these <sets> must avoid obtaining arbitrary enumerations of finite subsets by unstated choices.