In computer science, an e-graph is a data structure that stores an equivalence relation over terms of some language.