Aula 36
11 Maio 2021, 11:30 • Maria João Antunes Dias Gouveia
Equational classes, equational theories,
Thm: A class of algebras is a variety if and only if it is an equational class.
Section 11 of Chapter II, till Thm 11.9, A Course in Universal Algebra, Burris and Sankappanavar