左閉右開の半開区間formula_16には最大元は存在しないが上界および上限は存在する(つまり、)。