1 problem

Let $X$ be an Archimedean pervasive pre-Riesz space, let $I\subseteq X$ be a directed ideal, and let $\hat{I}\subseteq X^\varrho$ be the smallest extension ideal of $I$ in the Ries…