For a set X with a relation of partial order R the element x in X is called the least element of X if, for all y in X, x relates to y (xRy). Prove that in a partially ordered set there exists at most one least element.
If each of \(\displaystyle a~\&~b\) is a least element in \(\displaystyle X\) then \(\displaystyle a \prec b~\&~b \prec a\).
Why is that true? What does that a about \(\displaystyle a~\&~b\)?
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.