数学において，ある集合  の元が（同値関係として定式化される）同値の概念を持つとき，集合  を同値類（どうちるい）たちに自然に分割できる．これらの同値類は，元  と  が同じ同値類に属するのは  と  が同値であるとき，かつそのときに限るものとして構成される．

フォーマルには，集合  と  上の同値関係  が与えられたとき，元  の  における同値類は， に同値な元全体の集合

である．「同値関係」の定義から同値類は  の分割をなす．この分割，同値類たちの集合，を  の  による商集合 (quotient set) あるいは商空間 (quotient space) と呼び， と表記する．

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

例
  がすべての車の集合であり， が「同じ色である」という同値関係のとき，ある1つの同値類はすべての緑色の車からなる． はすべての車の色の集合と自然に同一視できる．
  を平面内のすべての長方形の集合とし， を「同じ面積を持つ」という同値関係とする．各正の実数  に対し，面積が  の長方形全体のなす同値類がある．
 整数の集合  上の2を法とした同値関係を考える，つまり  とはそれらの差  が偶数であることである．この関係はちょうど2つの同値類を生じる：1つはすべての偶数からなり，もう1つはすべての奇数からなる．この関係の下で，, ,  はすべて  の同じ元を表す．
  を  が  でない整数の順序対  全体の集合とし， 上の同値関係  を  によって定義する．すると対  の同値類は有理数  と同一視することができ，この同値関係とその同値類は有理数の形式的な定義に用いることができる．同じ構成は任意の整域の分数体に一般化することができる．
  をユークリッド平面内のすべての直線の集合とし， を  と  が平行と定義すると，互いに平行な直線の集合が1つの同値類をなす（直線は自分自身と平行と考える）．この状況では，各同値類は無限遠点を決定する．

記法と定義
同値関係は二項関係  であって以下の3つの性質を満たすものである：
 の任意の元  に対して， である（反射性），
 の任意の2元 ,  に対して， ならば  である（対称性），
 の任意の3つの元 , ,  に対して， かつ  ならば  である（推移性）．

元  の同値類は  と書き， と  によって関係づけられる元全体の集合

として定義される．同値関係  を明示して  とも書かれる．これは  の -同値類といわれる．

同値関係  に関する  のすべての同値類からなる集合を  と書き， の  による商集合 (quotient set of  by ,  modulo) と呼ぶ． から  への各元をその同値類に写す全射  は標準射影と呼ばれる．

各同値類の元を（しばしば暗黙に）選ぶと，と呼ばれる単射が定義される．この切断を  で表せば，各同値類  に対して  である．元  は  の代表元 (representative) と呼ばれる．切断を適切に取って類の任意の元をその類の代表元として選ぶことができる．

ある切断が他の切断よりも「自然」であることがある．この場合，代表元を代表元と呼ぶ．例えば，合同算術において，整数上の同値関係で， を  が法と呼ばれる与えられた整数  の倍数であると定義したものを考える．各類は  未満の非負整数を唯一つ含み，これらの整数が標準的な代表元である．類とその代表元は多かれ少なかれ同一視され，例えば  という表記は類を表すことも標準的な代表元（を  で割った余り）を表すこともある．

性質
 の任意の元  は同値類  の元である．任意の2つの同値類  と  は，等しいか互いに素かのいずれかである．したがって， のすべての同値類からなる集合は  の分割をなす，つまり， の任意の元はちょうど1つの同値類に属する．逆に  の任意の分割は同値関係からこのようにして生じる． を  と  が分割の同じ集合に属するとした同値関係である．

同値関係の性質から次が従う：
 .

言い換えると， が集合  上の同値関係であり， と  が  の2つの元であれば，以下の主張は同値である：

グラフによる表現
任意の二項関係は有向グラフによって，同値関係のような対称的なものは無向グラフによって表すことができる． が集合  上の同値関係であるとき，グラフの頂点全体を  の元全体とし， のとき，かつそのときに限り頂点  と  を結ぶ．同値類はこのグラフにおいてグラフのをなす極大クリークによって表される．

不変量
 が  上の同値関係で  が， であるときにはいつでも， が真ならば  が真であるような， の元の性質であるとき，性質  は  の不変量，あるいは関係  のもとで well-defined であるといわれる．

よくある場合は  が  から別の集合  への関数であるときに生じる； であるときにはいつでも  であるとき， は  に対する射， の下での類不変量，あるいは単に  の下の不変量といわれる．これは例えば有限群の指標理論において現れる．著者によっては「 の下で不変」の代わりに「 と両立する」あるいはただ「 に従う」を用いる．

任意の関数  はそれ自身， なる  上の同値関係を定義する． の同値類は  に写される  の元全体の集合である，つまり，類  は  の逆像である．この同値関係は  のとして知られている．

より一般に，関数は（上の同値関係  の下で）同値な引数を（上の同値関係  の下で）同値な値に送ることがある．そのような関数は  から  への射と呼ばれる．

位相空間論における商空間 
位相空間論において商空間は、与えられた同値関係に関する同値類全体の成す集合上にもとの空間の位相から誘導される位相を入れて得られる位相空間である。

抽象代数学において代数系の台集合上で定義される合同関係は、その関係に関する同値類全体の成す集合上にと呼ばれる代数構造を誘導する。線型代数学における商空間は、加法群に関して商群をとることによって得られるベクトル空間で、その商写像は線型写像になる。用例を敷衍して、抽象代数学において商加群、商環、商群などの任意の商代数系のことを「商空間」と呼ぶことがあるが、より一般の場合においてもしばしば群作用の軌道とのアナロジーによって「商空間」の語を用いることがある。

適当な集合上に定義された群作用の軌道全体の成す空間は、その集合の群作用に関する商空間とも呼ばれる（特に群作用の軌道空間が作用群の部分群による（部分群によるもとの群への左移動作用から生じる）右剰余類集合、あるいは右移動による軌道としての左剰余類集合になっている場合）。

位相群の正規部分群がもとの群に移動作用で作用しているときの商空間は、位相空間の意味でも抽象代数学の意味でも群作用の意味でも同時に商空間になっている。

商空間という言葉を、更なる構造も含めたうえで、任意の同値関係による同値類集合に対して用いることはできるけれども、商空間と呼ぶ目的は一般に、集合  上の同値関係の種類をもとの  に入っているのと同じ種類の構造を同値類集合上に誘導する同値関係と、あるいは群作用の軌道空間と比較することである。同値関係で保たれる構造の意味でも、群作用に対する不変量の研究の意味でも、いずれも上で与えた同値類の不変量の定義が導かれる。