Definition:Total Relation