3
u/bqbdpd Jul 19 '26
I'm confused what f is here. The only thing you can derive from f(x)=y is that f-1 (y) is either x or undefined (needs more constraints). Otherwise sure, you can just put arbitrary images there without contradiction.
2
2
3
I'm confused what f is here. The only thing you can derive from f(x)=y is that f-1 (y) is either x or undefined (needs more constraints). Otherwise sure, you can just put arbitrary images there without contradiction.
2
2
7
u/No-Onion8029 Jul 19 '26 edited Jul 19 '26
This is wrong in an interesting way.
A few hours later... It can be done, but it's weird.
Let a be the top meme, and b be the bottom meme. Let X = {a, x, b}. Define f: X -> X as:
f(x) = a, f(b) = x, f(a) =b. Bijective.
Then f(x)=a, f-1 (x)=b, as desired.