0（因为0<1>0）和1(>;<)1 (since 1>0<1)。如果我们转而选择≤和≥，≥\≤和≤/≥是同样的，因为≤;≥ = ≥;≤，二者在所有"x"和"y"之间总是成立（因为"x"≤1≥"y"并且"x"≥0≤"y"）。字母表（集合）Σ上的所有形式语言的布尔代数2形成了剩余格，它的幺半群乘法是语言串接"LM"而它的幺半群单位元I是由空字符串ε足成的语言{ε}。右剩余"M"\"L"构成自所有在Σ上的字"w"是的"Mw" ⊆ "L"。左剩余"L"/"M"用"wM"替代了左剩余中的"Mw"。只在"X"