algebra algebraicstructures complementedlattices equationalclasses generalalgebraicsystems hilbertschemes lattices latticetheory mathematicallogicandfoundations modeltheory modularlattices order orderedalgebraicstructures qa564 universal universalalgebra varieties