Veremos la noción de partición del conjunto formula_3, que resultará ser equivalente a la noción de relación de equivalencia.