i.e., each principal filter is pseudo-complemented. Based on the way relatively complemented lattices are defined (every interval is complemented), this seemed like the natural way to define relatively pseudocomplemented (for a lattice with a greatest element, (1) is equivalent to each each interval being pseudo-complemented). However, the term relatively pseudo-complemented was already in use ...