20ª aula

17 Maio 2023, 14:00 • Maria João Antunes Dias Gouveia

Proof of some results and explanation of some examples in order to facilitate the understanding and the proof of the theorem: A class of algebras of the same type is a variety if and only if it is an equational class.