Equivalence relations

For example the following are equivalent:

Why do we care that congruence modulo C is an equivalence relation ?