So I'm saying that f is invertible if there exists a function, f inverse, that's a mapping from Y to X such that if I take the composition of f inverse with f, this is equal to the identity function over X.