必ずしも位相が入ってなくても全順序関係さえあれば定義可能