Ключевая фраза: решеточно упорядоченные группы