Definition:Relation Defined by Partition