In
abstract algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include group (mathematics), groups, ring (mathematics), rings, field (mathematics), fields, module (mathe ...
, a partial
groupoid
In mathematics, especially in category theory and homotopy theory, a groupoid (less often Brandt groupoid or virtual group) generalises the notion of group in several equivalent ways. A groupoid can be seen as a:
*'' Group'' with a partial func ...
(also called halfgroupoid, pargoid, or partial magma) is a set endowed with a
partial binary operation.
A partial groupoid is a
partial algebra.
Partial semigroup
A partial groupoid
is called a partial semigroup (also called
semigroupoid, semicategory, naked category, or precategory) if the following
associative law
In mathematics, the associative property is a property of some binary operations, which means that rearranging the parentheses in an expression will not change the result. In propositional logic, associativity is a valid rule of replacement f ...
holds:
For all
such that
and
, the following two statements hold:
#
if and only if
, and
#
if
(and, because of 1., also
).
References
Further reading
*
Algebraic structures
{{algebra-stub