Theorem 4.11. Let L be a GADL with

Theorem 4.11. Let L be a GADL with 0. Then the set N(L) of all normal ideals
of L forms a Boolean algebra.

ผลลัพธ์ (ไทย) 1:

ทฤษฎีบท 4.11 ให้ L เป็น GADL กับ 0 N(L) การตั้งค่าของอุดมคติทั้งหมดปกติแล้วของ L ใช้พีชคณิตบูลีน

ผลลัพธ์ (ไทย) 2:

ทฤษฎีบท 4.11 ให้ L เป็น GADL กับ 0 จากนั้นชุด N (L) ของอุดมคติปกติ
ของ L รูปแบบพีชคณิตแบบบูล

ผลลัพธ์ (ไทย) 3:

ทฤษฎีบท 4.11 . ให้ฉันเป็น gadl กับ 0 แล้วชุด N ( L ) ของทั้งหมดปกติอุดมคติ
L รูปแบบพีชคณิตบูลีน .