Conjunctive Join Semi-Lattices

Charles N. Delzell, Oghenetega Ighedo, James J. Madden

A join-semilattice $L$ is said to be conjunctive if it has a top element $1$ and it satisfies the following first-order condition: for any two distinct $a,b\in L$, there is $c\in L…