In mathematics, a quotient algebra is the result of partitioning the elements of an algebraic structure using a congruence relation.