# Unambiguous

($1)$2 | $3 ($4) | $5 ($6)

The output of a function is unambiguous if there is only one output for any input. It is especially important to check this when the input of the function can be written in different ways. For example, given by , , and is not unambiguous, because so it is not clear if or .