Reflexive domain
= Reflexive domain
A <pointed complete partial order> $D$ is reflexive when there are <Scott continuous maps> $e:[D\to D]\to D$ and $p:D\to[D\to D]$ with $p\circ e=\mathrm{id}$. Define $a\cdot b=p(a)(b)$ and interpret <lambda abstraction> using $e$. The inverse law gives beta soundness; $e\circ p=\mathrm{id}$ additionally gives eta soundness.