lattice-ordered set

Мат. решеточно упорядоченное множество