Definition 3.3. A non-empty subset I of X is called an ideal of X if (I1) If x ∈ X and a ∈ I, then x ∗ a ∈ I, i.e., X ∗ I ⊆ I, (I2) If x ∈ X and a, b ∈ I, then (a ∗ (b ∗ x)) ∗ x ∈ I.
ข้อกำหนดที่ 3.3 ย่อยไม่ว่างฉัน X เรียกว่าเหมาะของ X ถ้า(I1) และถ้า x ∈ X ∈ฉัน แล้ว∗ x ∈เป็นฉัน เช่น X ∗ฉัน⊆(I2) ถ้า x ∈ X ∈ a, b และฉัน แล้ว (∗การ (b ∗ x)) ∗ x ∈ฉัน
ความละเอียด 3.3 ย่อยที่ไม่ว่างเปล่าของฉัน X เรียกว่าอุดมคติของ X ถ้า (I1) ถ้า x ∈ X และ∈ฉันแล้ว * x ∈ฉันคือ X * ฉัน⊆ผม (I2) ถ้า x ∈ X และ ข∈ฉันแล้ว (* (b * x)) * x ∈ I.
ความละเอียด 3.3 . ไม่เปล่าย่อยของ X เรียกว่า อุดมคติของ x ( ถ้าได้ ) ถ้า x ∈ x และ∈ผมแล้ว x ∗เป็น∈ฉัน , I , x ∗ผม⊆ I , ( I2 ) ถ้า x ∈ X และ A , B ∈ผมแล้ว ( ∗ ( B ∗ x ) ∗ x ∈ .