Sea $X = \{m \in \mathbb Z | m = 5a + 2 \text{ para algún entero } a\}$, $Y \{n \in \mathbb Z | n = 4b + 3 \text{ para algún entero } b\}$. ¿Es $X$ un subconjunto de $Y$?
Siento decir que no, $X$ no es un subconjunto de $Y$, porque $X$ tiene el $12$ como elemento para $a=2$. $Y$ no tiene el $12$ como elemento para todos los valores de b.
¿Es esto correcto?