Fdtxjr

Given any pre-ordering $preceq$ of an arbitrary set $X$ is the following lemma:

$$textThere exists an inclusion minimal set Stext satisfying apreceq b:bin S=X\iff text Every chain in (X,preceq)text has a lower bound$$

Equivalent to the axiom of choice? Also assuming the axiom of choice if every chain in $(X,preceq)$ does have a lower bound, then is it true that for every set $Qsubseteq X$ we have:

$$Qtext is an inclusion minimal set satisfying apreceq b:bin Q=X\iff Qtext is a maximal anti-chain of minimal elements in (X,preceq)$$

Sorry if this is elementary, I found several mistakes in some stuff I typed while writing out an analog of Dilworth's theorem for pre-orders and just want to be sure its correct before I write it again formally.

To clarify what I mean by chains and anti-chains in $(X,preceq)$, if we define an undirected graph $G$ such that $V(G)=X$ and $E(G)=u,vsubseteq X:uleq v$ then for any sets $C,Asubseteq X$ we can write:

$$Ctext is a chain of (X,preceq)iff Ctext is a clique of G\iff textEvery pair of elements in Ctext is adjacent in G$$
$$Atext is an anti-chain of (X,preceq)iff Atext is an independent set of G\iff textNo pair of elements in Ctext is adjacent in G$$

Also by a minimal element in $(X,preceq)$ I mean any $min X$ satisfying $forall xin X(xleq mimplies mleq x)$.

You seem to flip some directions of the order, take $Bbb N$, every chain has a lower bound, but there is no set of maximal elements. You also want to quantify over all $X$, in the sense that choice is equivalent to that for any preordered $X$ etc.

Now, the answer is simple, yes. This is equivalent to choice. Simply note that every partially ordered set is preordered, and every partially ordered set with a minimal set of "generators" must have that all those "generators" are maximal elements. So we get the following version of Zorn's lemma, which is of course equivalent to the standard one:

(Zorn$^+$) Suppose $X$ is a partially ordered set where every chain has an upper bound. Every $xin X$ lies beneath a maximal element.

So your lemma implies Zorn's pretty obviously. The other direction is also simple: move from the preordered set to its antisymmetric quotient, then use choice to choose representatives for the maximal equivalences classes in the quotient order.

To your second question, which we used in the above proof, yes. If $Q$ is an inclusion minimal set, then no two elements in it can be comparable, otherwise you could omit one of them. And they have to be maximal (or minimal, if you reverse your comparison), otherwise you won't span everything.