>>551
最大元があると、それは最小の上界でもあるので
定義により上限でもあるのではないでしょうか。