P(S)={∅,{x},{y},{z},{x,y},{x,z},{y,z},{x,y,z}}
Define a relation R by A R B iff A⊆B ∀ A,B∈P(S)
We have A⊆A for any A∈P(S)
⟹⊆ is reflexive on P(S)
For any A,B∈P(S), A⊆B,B⊆A then A=B
⟹R is anti symmetric on P(S)
For any A,B,C∈P(S), A⊆B,B⊆C⟹A⊆C then A=B
⟹R is transitive on P(S)
So, R(⊆) is a partial order on P(S).
Comments
Leave a comment