>>768
> 全順序であれば最小値が存在しようがしまいが言えること
だからそれで十分だろ