0と1に順序が定義されてなければ最大値はない。
上限は上界の最小値