Definition:

groupoid