([1]). Let L be a GADL. An element

([1]). Let L be a GADL. An element e ∈ L is said to be left
identity element in L if e ∧ x = x for all x ∈ L

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

([1]) . ให้ L เป็นการ GADL กล่าวว่า เป็นองค์ประกอบ e ∈ L ค้างเอกลักษณ์ใน L ถ้า e ∧ x = x สำหรับทุก x ∈ L

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

([1]) ให้ L เป็น GADL องค์ประกอบอี∈ L บอกว่าจะทิ้ง
เอกลักษณ์องค์ประกอบใน L ถ้าอี∧ x = x สำหรับทุก x ∈ L

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

( [ 1 ] ) ให้ฉันเป็น gadl . องค์ประกอบและ∈ผมบอกว่าซ้าย
เอกลักษณ์องค์ประกอบหาก E ∧ X = X X ∈ l