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.
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.