https://9lib.org/document/y4wk8jor-distributive-ordered-sets-and-relative-pseudocomplements.html