エンコード違いの文字列同士の間のIndexが半順序(partially order)になるというの面白いですね

7:46 AM

なかなかpartially orderって現実で直面する事が無いけどこの例は身近だし。