Definition:Well-Defined Relation