prelims: specify action of monoids in \B