A 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).
A ของ L คือเหมาะปกติถ้าฉัน = I∗∗ หรือ equivalentlty ฉัน = S∗ = { y ∈ L | y ∧ s = 0, s ทั้งหมด∈ S } บางย่อยไม่ว่าง S L. เราแสดงชุดของอุดมคติปกติทั้งหมดของ L โดย N(L)
ของ L เรียกว่าเหมาะปกติ ถ้าฉัน = ฉัน ** หรือ equivalentlty, I = S * = {y ∈ L | Y ∧ s = 0 สำหรับทุก s ∈ S} สำหรับบาง ชุดย่อยที่ไม่ว่างเปล่าของแอลเอส เราแสดงว่าชุดอุดมคติปกติทั้งหมดของ L โดยไม่มี (L)
เป็นผมจะเรียกว่าปกติเหมาะ ถ้าชั้น = ฉัน∗∗หรือ equivalentlty ผม = S ∗ = { y l y ∈ | ∧ S = 0 , สำหรับทุกคน∈ S } บาง ไม่ใช่เปล่าย่อยของ L . เราแทนเซตของอุดมคติปกติทั้งหมดของ L ( L ) โดย .