(adsbygoogle = window.adsbygoogle || []).push({}); 1. The problem statement, all variables and given/known data

Help with either of these problems would be great.

1. Suppose R is a partial order on A and [tex]B\subseteq A[/tex]. Prove that [tex]R \cap \left(B\times B\right)[/tex] is a partial order on B.

2. Suppose R_{1}is a partial order on A_{1}, R_{2}is a partial order on A_{2}, and [tex]A_1 \cap A_2 = \emptyset[/tex]

Prove that [tex]R_1 \cup R_2[/tex] is a partial order on [tex]A_1 \cup A_2[/tex]

3. The attempt at a solution

1. I'm confused what I am supposed to do with [tex]R \cap \left(B\times B\right)[/tex]...

2. I know that a partial order is a relation that is reflexive, antisymmetric, and transitive, so I would think that I would have to prove that [tex]R_1 \cup R_2[/tex] is reflexive, symmetric, and transitive on [tex]A_1 \cup A_2[/tex]. I'm able to prove that [tex]R_1 \cup R_2[/tex] is reflexive by supposing that x is an arbitrary element of [tex]A_1 \cup A_2[/tex] and then using the fact that R_{1}and R_{2}are reflexive. I can't figure out how to prove the antisymmetric and transitive parts though.

Thanks.

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Homework Help: Relation proof

**Physics Forums | Science Articles, Homework Help, Discussion**