Jelaskan Magma bebas dari Magma (aljabar)

Magma bebas, , himpunan  adalah magma yang digunakan untuk  (yaitu, tidak memiliki hubungan atau aksioma pada pembangkit; lihat objek bebas). Hal ini dijelaskan sebagai himpunan takasosiatif pada  dengan tanda kurung dan menjajarkannya dalam urutan yang sama. Contohnya:

dapat dijelaskan sebagai himpunan kata takasosiatif  dengan tanda kurung dipertahankan.

Hal ini juga dapat dilihat dalam istilah yang dikenal di ilmu komputer, sebagai magma pohon biner dengan daun label elemen . Operasi menggabungkan pohon di akarnya, maka peran mendasar dalam sintaks.

Magma bebas memiliki sifat universal, jika  adalah fungsi dari  ke magma, , maka perluasan dari  ke morfisme magma,