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