> (M_n)(M_m) ⊂ M_(n+m) を満たす

これは、どういう条件ですか?