- #1

- 2

- 0

## Main Question or Discussion Point

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, h(F)=0

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, h(F)=0