Domain of Relation is Subset of Union of Union of Relation/Proof

Proof
But then: