"Semilattice"

Tensor topology