Remark 5.51.

Monogenic/epigenic congruences are also called topological/cotopological in the literature. We will avoid that terminology, as it is less descriptive.