Roztomajtowertno funkcyjo

Funkcyjo $f:X\longrightarrow 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)\Longrightarrow a=b$.