Mathematics Separable space Automorphism Countable set Unitary state Equivalence relation Quotient algebra Equivalence (formal languages) Pure mathematics Unital TRACE (psycholinguistics) Matrix equivalence Automorphisms of the symmetric and alternating groups Congruence relation Algebra over a field Algebra representation Mathematical analysis