pseudo-complemented distributive lattice