Learn More
Given an algebra M we may adjoin an isolated zero to form an algebra M∞ satisfying all identities u ≈ v true in M for which u and v contain the same variables. Drawing on the structure theory of P(More)