Equivalence matching is matching two values, which may be bound to variables, to see if they are equivalent.