# Equivalence relations

<figure><img src="https://1983523492-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2F0nwEx8a60yETwfNYnenT%2Fuploads%2FYcsQTGlTW2XCoapPLO39%2Fimage.png?alt=media&#x26;token=15505198-c7ee-4626-a524-7ecf7fba8d2a" alt=""><figcaption></figcaption></figure>

**For example the following are equivalent:**

<figure><img src="https://1983523492-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2F0nwEx8a60yETwfNYnenT%2Fuploads%2FE64GPitUIp2kBGcL2wdo%2Fimage.png?alt=media&#x26;token=c239a611-5603-4da6-b236-21317581eb1b" alt=""><figcaption></figcaption></figure>

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

<figure><img src="https://1983523492-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2F0nwEx8a60yETwfNYnenT%2Fuploads%2Fe20ELAw5sFZHuBEFWlGP%2Fimage.png?alt=media&#x26;token=dc6a9af2-d891-4a16-a84f-87252b866c9e" alt=""><figcaption></figcaption></figure>
