Domácí úloha z 24. listopadu 2016 (odevzdává se 1. prosince 2016)
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{g{x1)))}, T3 = {g{g{xl)) = g(g(»))}, Ta = {g(g(x!)) = g^)}.
Pro každé i = 1, 2, 3,4 označme Ví varietu určenou teorií T«.
Rozhodněte (a zdůvodněte) pro každé i, j G {1,2,3,4}, i ^ j, zda platí
Vi   C Vy
1