Cuando formula_20 es un entero, recordemos que formula_21 denota el conjunto de los múltiplos enteros de formula_22 Como, para todo formula_23 y formula_24, se tiene que formula_25 es también un múltiplo de formula_20, tenemos que formula_21 es estable respecto a la multiplicación por cualquier elemento de formula_19 (una propiedad que usaremos más adelante), por lo que, en particular, será cerrado respecto a la multiplicación por elementos de él mismo.