Definición y representación simbólica de la congruencia