What are the properties of congruence?