Jabarkan Dan dalam notasi matematika: dari Magma (aljabar)

Jika  operasi parsial, maka  disebut magma parsial atau disebut juga grupoid parsial.

Sebuah morfisme magma adalah sebuah fungsi, , memetakan magma  ke magma , yang dimana operasi biner:

dimana  dan  menunjukkan operasi biner pada  dan .

Operasi magma, dan takasosiatif, urutan dinotasikan dengan tanda kurung. Maka operasi  dihilangkan dan dinotasikan dengan penjajaran:

Singkatan untuk mengurangi jumlah tanda kurung, di mana operasi paling dalam dan tanda kurung dihilangkan, diganti hanya dengan penjajaran, . Sebagai contoh, di atas menjadi ekspresi berikut: