Quotient set

Given a set X and an equivalence relation ~ over X the quotient set, written as X / ~, is the set of all equivalence classes in X as defined by ~.