lattice

partially ordered set that admits greatest lower and least upper bounds

카테고리: