partial groupoid

algebraic structure