Roztomajtowertno funkcyjo: Porōwnanie wersyji

Ńych <math>X, Y</math> bandům mnogojśćůma. FůnkcyjouFůnkcyjo <math>f:X\longrightarrow Y</math> zwjyuokryślo śe roztomajtnowertnůmjako jak'''roztomajtowertno'', dloulo kozdichkożdych <math>a,b\in X</math> kej <math>X, prawouY</math> sům mnogośćůma. Prawo je implikacyjou:implikacyjo <math>f(a)=f(b)\Longrightarrow a=b</math>.