>>367
つまり、上限は上界の一つ。
(i)は m が A の上界であることを言っている。