ไธ็
Xใฎ้จๅ้ๅ $ Y \subset X ใซใคใใฆใ$ y \le x_1 (\forall y \in Y)ใๆบใใ$ x_1 \in Xใๅญๅจใใใจใใ
x_1ใYใฎไธ็ใจ่จใใใใฎๆYใฏไธใซๆ็ใงใใใจใใ ๅฟ
ใใใใคใใxใใใใใฉใใ
ไธ็