„Es wird das von einer Menge S frei erzeugte ''Magma'' F(S) konstruiert und durch universelle Abbildungseigenschaften charakterisiert.“<ref>{{Literatur |Titel=Grundbegriffe der Algebra |TitelErg=Eine Einführung unter Berücksichtigung funktorieller Aspekte |Autor=Lothar Gerritzen |Verlag=Vieweg |Ort=Wiesbaden |Jahr=1994 |ISBN=978-3-322-88789-4 |Seiten=2 |Online=zitiert nach [http://link.springer.com/chapter/10.1007/978-3-322-88789-4_1#page-2 Online-Version] |Zugriff=2014-04-06}}</ref>
{{K|Mathematik}} [[algebraische Struktur]] aus einer [[Trägermenge]] und einer [[zweistellig]]en inneren [[Verknüpfung]]