Definición submódulo.