Pervasive and weakly pervasive pre-Riesz spaces (1803.07454v2)

Abstract: Pervasive pre-Riesz spaces are defined by means of vector lattice covers. To avoid the computation of a vector lattice cover, we give two distinct intrinsic characterizations of pervasive pre-Riesz spaces. We introduce weakly pervasive pre-Riesz spaces and observe that this property can be easily checked in examples. We relate weakly pervasive pre-Riesz spaces to pre-Riesz spaces with the Riesz decomposition property.