Á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.