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