хорошо, давайте так. Если в мапе лежат
{'a', 'x'}, {'a', 'y'}, {'a', 'z'}, {'b', 'x'}, {'b', 'y'}, {'b', 'z'}
то они упорядочены и транзитивность не нарушена. Теперь мы передаем компаратор который игнорирует вторую часть ключа
{'a'}, {'a'}, {'a'}, {'b'}, {'b'}, {'b'}
всё еще транзитивны