Lemma 4.12. Let L be a GADL with 0

Lemma 4.12. Let L be a GADL with 0 and x, y ∈ L. Then we have:

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

จับมือ 4.12 ให้ L เป็น GADL 0 และ x, y ∈ L. แล้ว เรามี:

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

แทรก 4.12 ให้ L เป็น GADL 0 และ x, y ∈ลิตรแล้วเรามี:

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

แทรก 4.12 . ให้ฉันเป็น gadl ด้วย 0 x , y ∈แล้วเรา : L