join and meet semilattices, lower and upper bounds. - View it on GitHub