Definition:Truth Set of Relation