Domácí úloha z 29. listopadu 2018 (odevzdává se 6. prosince 2018)
Pro typ Q = {•, g}, kde • je nulární a g unární operační symbol, jsou dány teorie
Ti = {g{g{xl)) = g(g(x2))}, T2 = {g{g{x1)) = g(g(»))}, T3 = {g{g{xl)) = •}.
Pro každé i = 1, 2, 3 označme Ví varietu určenou teorií Tj.
Rozhodněte (a zdůvodněte) pro každé i, j G {1,2,3}, i ^ j, zda platí V C V.