>>366
G=[0,1)⊂R
「1の左隣の実数」=g(∈G)とすると
∀a∈G、 a≠g → a < g