The internal consistency of a model such that each term is unambiguous and no rules contradict.


Unification is mentioned on: Glossary