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