Free algebra F_V(X) and its universal mapping property

The free algebra F_V(X) over a set X in a variety V is the algebra of 'terms over X' modulo the identities of V. Universal property: for any algebra A ∈ V and any function f: X → A, there exists a unique homomorphism f̂: F_V(X) → A…