Условия конечности для алгебр отношений

Рассматриваются алгебры многоместных отношений на заданном множестве; операции в алгебре задаются всевозможными формулами логики предикатов первого порядка. Изучаются различные способы введения условия конечности для таких алгебр. Для каждого натурального $n$ cтроится пример алгебры, порождаемой одним $n$-местным отношением, но не порождаемой своими отношениями меньшей размерности. Сформулирована открытая проблема.