Вы здесь

lattice-valued