A modern algebra course is a reasonable place to see equivalence relationships being used routinely. Discrete math preparatory to formal computer science is a second place for the idea.
Previous slide
Next slide
Back to first slide
View graphic version