min{x|a<x}がaの直後の元。
（これが存在することは定義より明らか）
ただし{x|a<x}=φのときは存在しない。