##  [Algoritmo de Cierre de Congruencia](/es/node/62421) 

  ##  [Algoritmo de Cierre de Congruencia](https://puremath.quantumdictionary.io/es/node/62422) 

  

 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics & Logic -

**Pure Mathematics Dictionary**

 







 

 

 

 



 

 

 

 

Definición

Un procedimiento algorítmico que, dada una colección de igualdades entre términos ground (o términos en una signatura), calcula la relación de congruencia mínima que contiene esas igualdades —es decir, la menor relación de equivalencia cerrada bajo la aplicación de símbolos de función— para decidir el entailment ecuacional.