https://www.dict.cc/englisch-deutsch/Birkhoff%27s+fundamental+theorem+for+finite+distributive+lattices.html