Pervasive and weakly pervasive pre-Riesz spaces (Q2312703)

An ordered vector space \(X\) is pre-Riesz if there is a vector lattice \(Y\) and a bipositive linear map \(\imath : X \to Y\) such that \(\imath(X)\) is order dense in \(Y\). The pair \((Y,\imath)\) is a vector lattice cover of \(X\). If each positive \(y\in Y\) is minorized by some \(\imath(x)\) with \(x\in X\), then \(X\) is a pervasive pre-Riesz space. The authors study the relations between pervasiveness and the Riesz decomposition property.