Let ρ be a relation on a set A. Define ρ^−1 = {(b, a) | (a, b) ∈ ρ}. Also, for two relations ρ, σ on A, define the composite relation ρ ◦ σ as (a, c) ∈ ρ ◦ σ if and only if there exists b ∈ A such that (a, b) ∈ ρ and (b, c) ∈ σ. Prove the following assertions. (i) ρ is a partial order if and only if ρ^−1 is a partial order
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
Let ρ be a relation on a set A. Define ρ^−1 = {(b, a) | (a, b) ∈ ρ}. Also, for two relations ρ, σ on
A, define the composite relation ρ ◦ σ as (a, c) ∈ ρ ◦ σ if and only if there exists b ∈ A such that (a, b) ∈ ρ and (b, c) ∈ σ. Prove the following assertions.
(i) ρ is a partial order if and only if ρ^−1 is a partial order