Abstract Congruence and the Uniqueness of Haar Measure