A relation R on a set A is a partial order iff R is reflexive, antisymmetric and transitive.
We have:
relation is reflexive: aRa - a divides a
relation is antisymmetric: aRb and bRa hold when a=b
relation is transitive: if aRb and bRc then aRc -if a divides b and b divides c then a divides c
So, the relation R is a partial order relation.
Hasse diagram:
Comments
Leave a comment