Definition 4.7. Let L be a GADL with 0. An ideal I of L is called a normal ideal if I = I∗∗, or equivalentlty, I = S∗ = {y ∈ L | y ∧ s = 0, for all s ∈ S} for some non-empty subset S of L. We denote the set of all normal ideals of L by N(L).
กำหนด 4.7 ให้ L เป็น GADL กับ 0 เหมาะฉัน L เรียกว่าเหมาะปกติถ้าฉัน = I∗∗ หรือ equivalentlty ฉัน = S∗ = { y ∈ L | y ∧ s = 0, s ทั้งหมด∈ S } บางย่อยไม่ว่าง S L. เราแสดงชุดของอุดมคติปกติทั้งหมดของ L โดย N(L)
ความละเอียด 4.7 ให้ L เป็น GADL กับ 0. เหมาะผมเรียกว่า L เหมาะปกติ ถ้าฉัน = ฉัน ** หรือ equivalentlty, I = S * = {y ∈ L | Y ∧ s = 0 สำหรับทุก s ∈ S} สำหรับบาง ชุดย่อยที่ไม่ว่างเปล่าของแอลเอสเราแสดงว่าชุดอุดมคติปกติทั้งหมดของ L โดย N (L)