Equational compactness Algebraic structures mathematics