最小の上界を上限とよびます