Page "Equivalence relation" Paragraph 84

* In many contexts " quotienting ," and hence the appropriate equivalence relations often called congruences, are important.

This leads to the notion of an internal groupoid in a category.