Álgebras de Ockham: a variedade das álgebras de
Ockham e algumas das suas subvariedades
(
 e
 ).
Congruências em álgebras- :
Dada uma congruência principal definida numa álgebra-K ,
obtém-se a descrição do seu complemento (caso este
exista). Com base na descrição obtida, determina-se em que
condições o complemento existe.
|