lattice-ordered field

Мат. решетчато упорядоченное поле