This article is about equivalency in mathematics. For equivalency in music, see equivalence class (music).
A normal subgroup of a topological group, acting on the group by translation action, is a quotient space in the senses of topology, abstract algebra, and group actions simultaneously.