kɿ2 Ҏ্〣ࣗવ Rk 〣ݩ x = (x1 , . . . , xk )⊤, y = (y1 , . . . , yk )⊤ 〠ର「ɺ x ≤ y def ⇐⇒ xi ≤ yi (∀i = 1, . . . , k) x = y def ⇐⇒ xi = yi (∀i = 1, . . . , k) x ̸= y def ⇐⇒ ∃j s.t. xj ̸= yj x < y def ⇐⇒ x ≤ y 〙 x ̸= y x < y ⇔ xi ≤ yi (∀i = 1, . . . , k) 〙 ∃j s.t. xj < yj ಉ༷〠ɺx ≥ y, x > y 〷ఆٛ『ɻ 4 / 43