Corollary 3.14. $M\subseteq M[F]$ if ${𝟙}_{}\in F$.