ThmDex – An index of mathematical definitions, results, and conjectures.

Formulation F3884 on D263: Groupoid

F3884

Formulation 0

An D548: Ordered pair $G = (X, f)$ is a groupoid if and only if

(1)	$X$ is a D11: Set
(2)	$f : X \times X \to Y$ is an D20: Enclosed binary operation on $X$