最大元

転送先:

• 順序集合#上界、最大、極大、上限、上方集合