Soit un magma, au sens de l'algèbre. Si R est une relation d'équivalence dans E satisfaisant à une condition qui sera précisée plus loin, l'ensemble quotient E/R peut être muni d'une structure naturelle de magma qui fait de l'application canonique de E sur E/R un morphisme de magmas. Le magma E/R est appelé le magma quotient de M par R et se note M/R.