Definition:Restriction of Relation (Class Theory)