Иначе говоря, симметрическую алгебру можно определить как факторалгебрутензорной алгебры по двустороннему идеалу, порождённому элементами вида . Она удовлетворяет следующему универсальному свойству: для любого линейного отображения из в коммутативную алгебру существует единственный гомоморфизм алгебр такой, что , где — вложение.