上界、最大、極大、上限、上方集合.