lattice (Q595364)
partially ordered set that admits greatest lower and least upper bounds
Language: