Let (X, ∗, 1) be an BE-algebra and

Let (X, ∗, 1) be an BE-algebra and F a non-empty subset of X. Then F is said to be a filter of X if

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

ให้ (X ∗ 1) จะเป็นพีชคณิตจะและ F ไม่ว่างเซตย่อยของ X แล้ว F กล่าวได้ว่า เป็นตัวกรองของ X ถ้า

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

ให้ (x, *, 1) เป็น พ.ศ. พีชคณิตและ F ย่อยที่ไม่ว่างเปล่าของเอ็กซ์ F แล้วบอกว่าจะเป็นตัวกรองของ X ถ้า

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

ให้ ( X , ∗ , 1 ) จะเป็นพีชคณิต และ F ไม่ว่างย่อยของเอ็กซ์ แล้ว f เป็นกรองของ x ถ้า