Zermelo–Fraenkel set theory
In Zermelo–Fraenkel set theory without the axiom of choice (ZF), the following conditions are all equivalent: