Category:Domain of Relation is Subset of Union of Union of Relation