「亜群」

抽象代数学におけるマグマ（英: magma）または亜群（あぐん、groupoid）とは、一つの集合と、その集合上に閉じて定義された一つの二項演算で構成される組（代数的構造）である。
このような構造に「マグマ」という呼称を導入したのはニコラ・ブルバキである。旧来はオイステイン・オアによる用語で亜群（groupoid）と呼ばれていたもので、現在でもしばしばそのように呼ばれる。（ただし、圏論において、「亜群（groupoid）」と呼ばれる全く別の概念もある。）

出典：Wikipedia日本語版