algebra complementedlattices equationalclasses generalalgebraicsystems lattices latticetheory mathematicallogicandfoundations modeltheory modularlattices order orderedalgebraicstructures universal universalalgebra varieties varieties(universalalgebra)