Pseudo-Magma

Ein Pseudo-Magma (neutrum, Mehrzahl Pseudo-Magmen), partielles Magma, Pseudo-Gruppoid, partielles Gruppoid oder Halbgruppoid^[1] (in Anlehnung an das englische halfgroupoid^[2]), 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.

1. ↑ Günther Eisenreich: Lexikon der Algebra. Akademie-Verlag/Springer-Verlag, Berlin 1989, ISBN 3-05-500231-8. 
2. ↑ Richard Hubert Bruck: A survey of binary systems. In: P.J.Hilton (Hrsg.): Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Auflage. Band 20. Springer Verlag, Berlin / Heidelberg / New York 1971, ISBN 978-3-662-42837-5.