Roztomajtowertno funkcyjo

Funkcyjo $f : X ⟶ Y$ uokryślo śe jako roztomajtowertno, lo kożdych $a, b \in X$ kej $X, Y$ sům mnogośćůma. Prawo je implikacyjo $f (a) = f (b) ⟹ a = b$ .