Implement PartialOrd for HashSet