We say that SKx and I are "functionally equivalent" because they always yield the same result when applied to any y.
Kaže se da su SKx i I "funkcijski ekvivalentni" s obzirom da uvijek daju isti rezultat kad su aplicirani na bilo koji y.