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

1. $x\circ (y\circ z)\in G$ se, e somente se, $(x\circ y)\circ z\in G$; e
2. $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$ )

Leitura complementar

• Predefinição:Citar livro