Lemma 3.1. Let x  P with P be the

Lemma 3.1. Let x  P with P be the outstretched sets of 
D BCL -algebra
X . If x  y , then y  P .
Proof. By Definition 2.2, the partially ordered relation x  y implies
x  y  1  P . It is easy to see that distributive x  P and apply Definition
3.4( P 2). Thus y  P , as required.

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

บทแทรก 3.1 ให้ x  P กับ P เป็นชุดที่เหยียดออกของ
D BCL พีชคณิต
X ถ้า x  y ที่แล้ว y ที่ P.
หลักฐาน โดยความละเอียด 2.2 ความสัมพันธ์ที่สั่งซื้อบางส่วน x  y ที่หมายถึง
x  y ที่ 1  P มันเป็นเรื่องง่ายที่จะเห็นว่าการจำหน่าย x  P และใช้ความละเอียด
3.4 (P 2) ดังนั้น y ที่ P ตามที่กำหนด

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

พ 3.1 . ให้ x  P กับ P เป็นชุดที่เหยียดออกของ
D Bcl - พีชคณิต
x . ถ้า x  Y , Y  P .
พิสูจน์ โดยความหมาย 2.2 บางส่วนสั่งความสัมพันธ์ x  Y หมายถึง
x  Y  1  P . มันเป็นเรื่องง่ายที่จะเห็นว่าการกระจาย P X และใช้คำนิยาม
3.4 ( P 2 ) ดังนั้น y  P ตามที่ต้องการ