what is equivalence class
An equivalence class is a group of objects that are all “the same” according to some chosen rule of equivalence.
Core idea
Take a set AAA and a rule that says when two elements are considered
equivalent (an equivalence relation).
The equivalence class of an element a∈Aa\in Aa∈A, written [a][a][a], is:
- The set of all elements in AAA that are equivalent to aaa under that rule.
Formally,
[a]={x∈A∣x is equivalent to a}.[a]=\{x\in A\mid x\text{ is equivalent to }a\}.[a]={x∈A∣x is equivalent to a}.
All elements inside [a][a][a] are equivalent to each other, and anything not equivalent to aaa is outside that class.
Mini example (math)
Consider all integers Z\mathbb{Z}Z, with the rule “have the same remainder when divided by 3” (congruence mod 3).
- One equivalence class is all numbers that leave remainder 0: {…,−6,−3,0,3,6,9,… }\{\dots,-6,-3,0,3,6,9,\dots\}{…,−6,−3,0,3,6,9,…}.
- Another is all numbers that leave remainder 1: {…,−5,−2,1,4,7,10,… }\{\dots,-5,-2,1,4,7,10,\dots\}{…,−5,−2,1,4,7,10,…}.
- Another is all numbers that leave remainder 2: {…,−4,−1,2,5,8,11,… }\{\dots,-4,-1,2,5,8,11,\dots\}{…,−4,−1,2,5,8,11,…}.
Each of these infinite “buckets” is an equivalence class; within a bucket, any two numbers are equivalent (same remainder mod 3).
Key properties
Equivalence classes tied to an equivalence relation have some strong structure:
- They partition the set: every element belongs to exactly one class, and no two distinct classes overlap.
- Any two elements are equivalent if and only if they lie in the same equivalence class.
- The set of all equivalence classes is called the quotient set (or quotient space).
So instead of working with individual elements, you can work with their classes, which is very common in modern mathematics.
Software testing meaning
In software testing, “equivalence class” is used in equivalence class
partitioning.
Here, you group input values into classes where all values in a class are
expected to behave the same way in the system.
Example: an age input that must be between 18 and 60, numeric.
You can define:
- One valid equivalence class: integers from 18 to 60
- Several invalid classes: integers < 18, integers > 60, non‑numeric strings, etc.
You then pick one or a few representatives from each class to test, instead of testing every possible value.
Quick HTML table summary
| Context | What is an equivalence class? | Example |
|---|---|---|
| Pure math | Set of all elements equivalent to a given element under an equivalence relation (reflexive, symmetric, transitive). | [3][7][9][1]Integers with same remainder mod 3, e.g., {..., -3, 0, 3, 6, ...}. | [9][1]
| Software testing | Group of input values expected to produce the same program behavior, used to reduce number of test cases. | [4][10][2][6][8]Age field: valid class 18–60, invalid class <18, invalid class >60, non‑numeric. | [10][2][6]
Information gathered from public forums or data available on the internet and portrayed here.