sentences:  These cosets partition B and A with formula_248 and formula_249.Cosets are always rectangular subalgebras in their formula_29-classes.What is more, the partial order formula_251 induces a coset bijection formula_252 defined by