Domain of Relation is Subclass of Union of Union of Relation/Proof

Proof
But then: