Sea $\Sigma$ un conjunto finito. Para $x,y \in \Sigma^{\ast}$ , defina \n\[x\preceq y\] \nsi $x$ es una subcadena (no necesariamente contigua) de $y$ . Por ejemplo, $ac \preceq abc$ . Llamamos a un conjunto $S\subseteq \Sigma^{\ast}$ bueno si $\forall x,y \in \Sigma^{\ast}$ , \n$$ x\preceq y, \; y \in S \; \; \; \Rightarrow \; x\in S .$$ \nPruebe o refute: Todo conjunto bueno es regular.