Category:Domain of Relation is Subclass of Union of Union of Relation