We all know you can’t divide by the number zero. But in some sense the notion of “dividing by zero” appears every time you use modular arithmetic! The structures that underlie this “modding business” are called equivalence relations and quotient sets
