Definition:Comparable Sets