Cieľom projektu je skúmať vybrané problémy z univerzálnej algebry a teórie zväzov. Hlavná pozornosť je venovaná štruktúram spojeným s kongruenciami a prirodzenej relačno-topologickej reprezentácii algebier. Projekt  skúma zväzy kongruencií algebier v kongruenčne distributívnych varietách, študuje systém všetkých zväzov kongruencií algebier na danej množine. Riešitelia sa zaoberajú klonom všetkých kongruenčne kompatibilných operácií na rôznych algebrách. Chceli by rozpracovať teóriu prirodzenej reprezentácie založenej na pojme maximálneho parciálneho homomorfizmu.