lattice-ordered groupoid

Мат. решеточно упорядоченный группоид