Given x ∈ X if it satisfies x ∗ 0=0, that is 0 ≤ x, the element x is called a positive element of X. By definition, the zero element 0 of X is positive
ได้รับ x ∈ X ถ้ามันสอดคล้องกับ X * 0 = 0 นั่นคือ 0 ≤ x องค์ประกอบ x ถูกเรียกว่า เป็นองค์ประกอบในเชิงบวกของ X. ตามคำนิยามองค์ประกอบศูนย์ 0 ของ X เป็นบวก