Magma
Revision as of 12:21, 13 May 2007 by Boy Soprano II (talk | contribs)
A magma (or a groupoid) is a set , together with a function
, i.e., a set with a binary operation
. A set
with an operation
that maps some proper subset of
into
may be described as a magma with an operation not everywhere defined on
.
Magmas so general that usually one studies special cases of magmas. For example, monoids are associative magmas with an identity.
Resources
This article is a stub. Help us out by expanding it.