A “generic” algebraic structure over the given set, fulfilling no other equations except those given by the defining axioms