It is equivalent to, for instance, "every vector space has a basis", and to Zorn's lemma, which I've often used.