 This means that there exists a subset formula_8 of formula_3 (not necessarily a submonoid of formula_3) such that the image of formula_11 is in formula_8 and the image of formula_13 is in formula_14.Let formula_15 be an alphabet