Wykład ten stanowi kontynuację rozważań na temat relacji binarnych. Naszym celem jest omówienie pewnych szczególnie ważnych relacji binarnych, jakimi są relacje równoważności. Chociaż jest to pojęcie abstrakcyjne i ściśle matematyczne, to jednak ma wielkie praktyczne znaczenie. Gdy mamy do czynienia z dużymi zbiorami, zbiorami, w których liczba obiektów jest bardzo duża, zamiast rozważać poszczególne elementy zbioru, wygodniej jest połączyć obiekty w grupy ze względu na pewne interesujące nas cechy, a potem prowadzić dalsze rozważania tylko dla reprezentantów tych grup. Każda relacja równoważności wyznacza podział zbioru na rozłączne klasy. Związana z tym zasada abstrakcji stanowi jeden z tematów tego wykładu.

Na zakończenie przedstawimy zastosowanie zasady abstrakcji do konstrukcji zbiorów liczb całkowitych i wymiernych.