>>939
1, Aの下界の最大限が 0 であることを示す。
　つまり、(i) 0がAの下界に入っていること (ii) それより大きい元は下界に入っていないこと を言う。
2.(→) maxA が supA であることを示す。つまり、maxAが上界に入っていて、しかも最小限である（それ未満なら上界に入らない）ことを言う。
(←) supA が maxA であることを示す。つまり、上界の最小限かつAに入っていれば、Aの最大限であることを言う。

上界とか最小限とかを、ちゃんと定義の言葉に置き直せばほとんど答えだ。