Pseudo-Magma

Ein Pseudo-Magma (neutrum, Mehrzahl Pseudo-Magmen), partielles Magma, Pseudo-Gruppoid, partielles Gruppoid oder Halbgruppoid (in Anlehnung an das englische halfgroupoid), ist eine algebraische Struktur (genauer: partielle Algebra) ${\displaystyle (M,f)}$, die aus einer Menge ${\displaystyle M}$ und einer partiellen Abbildung ${\displaystyle f\colon M\times M\rightsquigarrow M}$ besteht.

Es ist eine Verallgemeinerung des mathematischen Begriffes des Magmas bzw. Gruppoids, in dem die Abbildung ${\displaystyle f}$ eine zweistellige, innere Verknüpfung sein muss (${\displaystyle f\colon M\times M\rightarrow M}$), also nicht mehr partiell sein darf.