This brings me to a new term: semantic equivalence.

这就引入了另一个术语：语义等价。