Finite-to-one maps

摘要

It is shown in ZF (without choice) that if there is a finite-to-one map P(X) → X, then X is finite.