Mějme fž-algebru i a v ní prvek Šk e A .
• Zobrazme jej nejprve pomocí zobrazení /.
/(*) = (&*(*),<*(*)).
Jestliže na výsledek použijme operaci bAxA (což provedeme tak, že aplikujeme operaci bA na každou složku získané uspořádané dvojice), získáme prvek:
(bA(bA(ik)),bA(cA(h))).
• Jestliže nejprve na prvek Ife použijeme operaci 6, získáme bA(Éb).
Tento prvek nyní můžeme zobrazit pomocí zobrazení /: f(bA(ik)) = (bA(bA(Jb)),cA(bA(Jb))).
Aby byla íž-algebra A hezká, tedy aby bylo zobrazení / homomorfismus, musí platit
(MM*)),Mca(*))) = (bA(bA(ik)),cA(bA(áb))).
Tato rovnost uspořádaných dvojic musí samozřejmě platit po složkách. Rovnost určená prvními složkami je splněna automaticky. Druhé složky nám dají
bA(cA(ák)) = cA(bA(±)).
Pokud bychom opakovali obdobný postup pro unární operaci c, došli bychom k ekvivalentní rovnosti.
Třída V všech hezkých íí-algeber tedy je varietou í2-algeber určená teorií
T = {b(c($) = c(b(xj)}.