Definition:Symmetric Relation (Class Theory)