Bijectivity in a function f is good because then for any equation it is an equivalent transformation to apply f to both sides
Don’t you just need injectivity here?
Huh, you’re right. That’s too bad, “well-definedness & injectivity” doesn’t flow so well, and I don’t see what comparable property surjectivity is good for.
Don’t you just need injectivity here?
Huh, you’re right. That’s too bad, “well-definedness & injectivity” doesn’t flow so well, and I don’t see what comparable property surjectivity is good for.