Let P be nonempty subsets of  BCL

Let P be nonempty subsets of  BCL D -algebra X together
with an associative binary operation  defined on X

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

ให้ P เป็น nonempty ชุดย่อยของ BCL D-พีชคณิต X โดดมีค่าการเชื่อมโยงการดำเนินการกำหนดบน X

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

โดยสมมติให้ p ย่อยว่างของ BCL D พีชคณิต X ด้วยกัน
กับการดำเนินการทวิภาคเชื่อมโยงกำหนดไว้ใน X

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

ให้ p เป็นเซตย่อยของ BCL D - พีชคณิต x กันกับเชื่อมโยงการดำเนินการทวิภาคที่กําหนดไว้ใน เอ็กซ์