 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.