Definition:Inverse Relation (Class Theory)