If a function maps every ``input'' to exactly one ``output,'' an inverse of that function maps every ``output'' to exactly one ``input.'' We need a more formal definition to actually say anything with rigor.