\item \lect Give the definition of semantic equivalence.\\