3 Terms and definitions [intro.defs]

3.2 expression-equivalent [defns.expr.equiv]

relationship that exists between two expressions E1 and E2 such that