donde formula_2 = â = a + N se puede ver como la clase de "a" en "E/N" ("a módulo N") o como el conjunto "a + N" = { a + n, n ∈ N} de los elementos de la forma "a + n", con "n ∈ N".