Define partial order and total order of relations
The Answer to the Question
is below this banner.
Can't find a solution anywhere?
NEED A FAST ANSWER TO ANY QUESTION OR ASSIGNMENT?
Get the Answers Now!You will get a detailed answer to your question or assignment in the shortest time possible.
Here's the Solution to this Question
Solution:
A relation T on a set M is called a partial order relation when it satisfies the following properties:
- It's reflexive: (x, x) is in T for every x in M.
- It's antisymmetric: If (x, y) is in T and (y, x) is in T, then x = y.
- It's transitive: If (x, y) is in T and (y, z) is in T, then (x, z) is in T.
A binary relation R on a non-empty set A is a total order if the relation is
- connex
- antisymmetric, and
- transitive.