Relatively pseudocomplemented posets

Abstract

We extend the notion of a relatively pseudocomplemented meet-semilattice to arbitrary posets. We show some properties of the binary operation of relative pseudocomplementation and provide some corresponding characterizations. We show that relatively pseudocomplemented posets satisfying a certain simple identity in two variables are join-semilattices. Finally, we show that every relatively pseudocomplemented poset is distributive and that the converse holds for posets satisfying the ascending chain condition and one more natural condition. Suitable examples are provided.

Keywords

• relatively pseudocomplemented poset
• join-semilattice
• distributive poset