集合が(群演算や位相のような)構造を持ち,同値関係がこの構造と適切に両立するように定義されているとき,商集合はしばしばもとの集合から類似の構造を引き継ぐ.例としては,線型代数学における商空間,位相空間論における商空間,,等質空間,商環,,など.