Definition:Relation as Subset of Cartesian Product