In abstract algebra, a partial groupoid (also called halfgroupoid, pargoid, or partial magma) is a set endowed with a partial binary operation.
A partial groupoid
is called a partial semigroup if the following associative law holds:[3] For all
This algebra-related article is a stub.
You can help Wikipedia by expanding it.