 Definition 1.3 (Full abstraction). A denotational semantics \({\mathcal{M}}\) is fully abstract with respect to an operational semantics \({\mathcal{O}}\) if the induced equivalences \({\simeq_{\mathcal{M}}}\) and \({\simeq_{\mathcal{O}}}\) coincide.