A note on non-generators in partially ordered sets
arXiv:2108.03295
Abstract
A folklore argument shows that Frattini's characterization of non-generators works in the framework of algebraic partially ordered sets. We provide characterizations of non-generators in arbitrary partially ordered sets. The validity of some characterizations is equivalent to Zorn's Lemma, hence to the Axiom of choice. We notice that working on closure spaces or posets provides no essential improvement.
8 pages