How do we call such relation between mappings f:A->A and g:B->B when there exists one-to-one mapping h:A->B such that for any a from A f(a)=g(h(a))?
Example.
f: {T, F) -> {T, F}
where f(x) = not x
g : {0, 1} -> {0, 1}
where f(x)=1-x
h: {T, F} -> {0, 1}
where h(T)=1...