im weiteren Sinn multilineare algebraische Gleichungen zwischen den Elementen einer freien Algebra (in der Produkte von Elementen, z. B. von bestimmten Operationen in unterschiedlicher Anordnung grundsätzlich verschieden sind), die eine »Struktur« definieren.