Proof. (1). Let a ∈ B∩Q. Since T is

Proof. (1). Let a ∈ B∩Q. Since T is intra-regular, there exist s, t, x, y, z ∈
T such that a ≤ xsazaty. Thus a ≤ xsazaty ≤ xsaz(xsazaty)ty =
xs(azxsa)zatyty ∈ T T(BTTTB)T QT T T T ⊆ T T BT QT T. Therefore, B ∩
Q ⊆ (T T BT QT T].
Conversely, let a ∈ T. Then a ∈ B(a) and a ∈ Q(a), we have a ∈ B(a) ∩
Q(a). By hypothesis,

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

หลักฐานการ (1) การให้∈ B∩Q T เป็นปกติภายใน มี s, t, x, y, z ∈T ที่≤ xsazaty ดังนั้นการ≤ xsazaty ≤ xsaz (xsazaty) ty =xs (azxsa) zatyty ∈ T T (BTTTB) ⊆ T คิวที T T T T T BT คิวทีต. ดังนั้น B ∩Q ⊆ (T T BT คิวที T]ในทางกลับกัน ให้∈ต. ∈แล้ว B(a) และ∈ Q(a) เรามีการ∈ B(a) ∩Q(a) โดยสมมติฐาน

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

หลักฐาน (1) ให้∈B∩Q ตั้งแต่ T เป็นปกติภายในที่มีอยู่ s, เสื้อ, x, y, z ∈
T ดังกล่าวที่ xsazaty ≤ ดังนั้น≤≤ xsazaty xsaz (xsazaty) ไท =
XS (azxsa) zatyty ∈ TT (BTTTB) T QT TTT ⊆ TT BT QT ตันดังนั้น∩ B
Q ⊆ (TT BT QT T].
ตรงกันข้ามให้∈ตัน แล้ว∈ B (ก) และ∈ Q (ก) เรามี∈ B (ก) ∩
Q (ก). โดยสมมติฐาน