Ekvivalenčne relacije in izrek o razcepu funkcij

Definiramo pojem ekvivalenčne relacije in kvocientne množice. Povemo, kako se definira funkcije na kvocientni množici in dokažemo izrek o razcepu funkcije na kvocientno preslikavo, bijekcijo in vlo