How to use inductive definition to define functions?

Define a relation between inputs and outputs of the function using Inductive definition.

Then prove that for each set of inputs, the output is unique.