A partially ordered set is a set X with a partial ordering ≤ on X . A partial ordering ≤ on X is a binary relation on X satisfying the following properties:
- for all x,y,z∈X , if x≤y and y≤z , then x≤z (transitivity)
- for all x∈X , x≤x (reflexivity)
- for all x,y∈X , if x≤y and y≤x , then x=y (antisymmetry)
Let P(S) denote the power set of S . Below we show that ⊆ on P(S) is a partial ordering.
- Transitivity. Let T0,T1,T2∈P(S) . Assume that T0⊆T1 and T1⊆T2 . For all t∈T0 , t∈T1 because T0⊆T1 , and t∈T2 because T1⊆T2 . Therefore, T0⊆T2 .
- Reflexivity. Let T∈P(S) . For all t∈T , t∈T is true. Hence T⊆T .
- Antisymmetry. Let T0,T1∈P(S) . Assume that T0⊆T1 and T1⊆T0 . Then T0=T1 by the definition of set equality.
Comments