Definition:Relation (Class Theory)