Dedekind-Infinite Set

Definition

$\exists B⊊A,|B|=|A|$

The proper subset $B⊊A$ is equinumeros to $A$

Facts

In ZFC Set Theory, Dedekind-infinite $\iff$ Infinite under