Funkcyjo f : X ⟶ Y {\displaystyle f:X\longrightarrow Y} uokryślo śe jako roztomajtowertno, lo kożdych a , b ∈ X {\displaystyle a,b\in X} kej X , Y {\displaystyle X,Y} sům mnogośćůma. Prawo je implikacyjo f ( a ) = f ( b ) ⟹ a = b {\displaystyle f(a)=f(b)\Longrightarrow a=b} .
To je jyno kůnsek artikla. Jeźli poradźisz, edytuj go.