Similar to 半束

Complete lattice

Lattice (order)

Tonnetz

Complemented lattice

Dedekind number

Heyting algebra

Join and meet

Young's lattice

Field of sets

Riesz space

Boolean prime ideal theorem