等價類劃分是一種典型的黑盒測試方法，等價類測試方法是把所有可能的輸入資料，即程式的輸入域劃分成若干部分，然後從每一部分中選取少數有代表性的資料作為測試用例。使用等價類劃分方法設計測試用例要經歷劃分等價類（列出等價類表）和選取測試用例兩步。

設R為非空集合A上的等價關係

則稱[x]R為x關於R的等價類，簡稱為X的等價類，簡記為[x]

等價類的概念有助於從已經構造了的集合構造集合。在 X 中的給定等價關係 ~ 的所有等價類的集合表示為 X / ~ 並叫做 X 除以 ~ 的商集。這種運算可以(實際上非常不正式的)被認為是輸入集合除以等價關係的活動，所以名字“商”和這種記法都是模仿的除法。商集類似於除法的一個方面是如果 X 是有限的並且等價類都是等勢的，則 X/~ 的序是 X 的序除以一個等價類的序的商。商集要被認為是帶有所有等價點都識別出來的集合 X。

對於任何等價關係，都有從 X 到 X/~ 的一個規範投影對映 π，給出為 π(X) = X。這個對映總是滿射的。在 X 有某種額外結構的情況下，考慮保持這個結構的等價關係。接著稱這個結構是良好定義的，而商集在自然方式下繼承了這個結構而成為同一個範疇論 (數學)範疇的物件；從 a 到 a 的對映則是在這個範疇內的態射滿態射。參見同餘關係。