Then (X, ∨, ∧, x0) is an ADL, with

Then (X, ∨, ∧, x0) is an ADL, with x0 as its zero element. This ADL is called a discrete ADL.

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

จากนั้น (x, ∨, ∧, x0) เป็น ADL กับ x0 เป็นศูนย์องค์ประกอบของ ADL นี้เรียกว่าเนื่อง ADL

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

แล้ว ( X , ∨∧ x0 , , ) เป็นวัดที่มี x0 เป็นของศูนย์องค์ประกอบ ADL นี่เรียกว่า ADL
ไม่ต่อเนื่อง