>>36
上限は上界の最小限なので,元の集合に含まれている必要はない
例えば[0,1)の上限は1だけど1∈[0,1)ではない