partial groupoid

Summary

Key Facts

• partial groupoid is a type of partial algebra^[1].
• partial groupoid comprises partial binary operation^[2].
• partial groupoid comprises set^[3].

Body

Definition and Type

partial groupoid is a type of partial algebra^[1].

Use and Application

Components include partial binary operation^[2] and set^[3], a primitive notion^[4].