Let R ba a partial order on S, and suppose that x is a unique minimal element in S.
a) prove that S is finite, then xRy for all s in S
b) show that the conclusion in (a) need not be true if S is infinite
This is a discrete structures proof regarding a partial order.