One-to-Many Image of Set Difference/Corollary 1
Jump to navigation
Jump to search
Theorem
Let $\RR \subseteq S \times T$ be a relation which is one-to-many.
Let $A \subseteq B \subseteq S$.
Then:
- $\relcomp {\RR \sqbrk B} {\RR \sqbrk A} = \RR \sqbrk {\relcomp B A}$
where $\complement$ (in this context) denotes relative complement.
Proof
We have that $A \subseteq B$.
Then by definition of relative complement:
- $\relcomp B A = B \setminus A$
- $\relcomp {\RR \sqbrk B} {\RR \sqbrk A} = \RR \sqbrk B \setminus \RR \sqbrk A$
Hence, when $A \subseteq B$:
- $\relcomp {\RR \sqbrk B} {\RR \sqbrk A} = \RR \sqbrk {\relcomp B A}$
means exactly the same thing as:
- $\RR \sqbrk B \setminus \RR \sqbrk A = \RR \sqbrk {B \setminus A}$
Hence the result from One-to-Many Image of Set Difference.
$\blacksquare$