Abstract: Several classes of congruences on S(X) which related to the universal equivalence on general topological spaces X are determined. And it is proved that if the topological space X happens to have finite compotents then there exists a largest proper congruence on S(X).