Grupoide parcial
# Grupoide parcial

Em álgebra abstrata, um grupoide parcial (também chamado de meio-grupoide, pargoide ou magma parcial) é um conjunto munido de uma operação binária parcial.
Um grupoide parcial é uma álgebra parcial.

## Semigrupo parcial

Um grupoide parcial $(G,\circ )$ é chamado de semigrupo parcial se a seguinte lei associativa for válida:
Sejam $x,y,z\in G$ tais que $x\circ y\in G$ e $y\circ z\in G$, então
* $x\circ (y\circ z)\in G$ se, e somente se, $(x\circ y)\circ z\in G$; e
* $x\circ (y\circ z)=(x\circ y)\circ z$ se $x\circ (y\circ z)\in G$ (e, pela condição 1, também $(x\circ y)\circ z\in G$ )