実数xをデデキント切断の上組と考えた場合、上に有界な実数集合Mの最小上界S=sup Mは、S=∩{x | x∈M}で表せるとか考えたこともなかった