equivalence

[ "Linguistics", "Programming language", "Discrete mathematics", "Pure mathematics", "Adequate equivalence relation", "Logical equivalence", "Dold–Kan correspondence", "Cartan's equivalence method", "branching bisimulation" ]