With or without Choice-axiom?

Printable View