Roztomajtowertno fůnkcyjo

Fůnkcyjo $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$.