En e-graf («likhetsgraf») er en datastruktur som holder en kongruensrelasjon over uttrykkstrær: en ekvivalensrelasjon som er stabil under dannelse av nye uttrykk.

Kilde: https://www.epatters.org/post/e-graphs-1/