# partial orders

Printable View

• October 1st 2009, 06:09 AM
CarmineCortez
partial orders
Q:
Suppose that
S is a set. Prove that

(P(S);c) is a partial order. Where c is 'subset' and P(s) is the power set.

Not sure how to show reflexive.

Thanks
• October 1st 2009, 06:46 AM
TheEmptySet
Quote:

Originally Posted by CarmineCortez
Q:

Suppose that
S is a set. Prove that
(P(S);c) is a partial order. Where c is 'subset' and P(s) is the power set.

Not sure how to show reflexive.

Thanks

The definition of reflexive is

$\forall A \in \mathcal{P}(S) \text{ } A \subseteq A$

i.e every set is a subset of its self. I hope this helps