マグマ (数学)

抽象代数学におけるマグマ（英: magma）または亜群（あぐん、groupoid）とは、一つの集合と、その集合上に閉じて定義された一つの二項演算で構成される組（代数的構造）である。このような構造に「マグマ」という呼称を導入したのはニコラ・ブルバキである。