Definition:Diagonal Relation (Class Theory)