relationship that exists between two expressions E1 and E2 such that

E1 and E2 have the same effects,

noexcept(E1) == noexcept(E2), and

E1 is a constant subexpression if and only if E2 is a constant subexpression