Category:Cross-Relation on Real Numbers is Equivalence Relation