Partial groupoid


In abstract algebra, a partial groupoid 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 if the following associative law holds:
Let such that and, then
  1. if and only if
  2. and if .