# Unique

From CS2800 wiki

To say there is a unique value x satisfying some property is the same as saying that if there were two values and both satisfying , then .

## Examples

- We require the output of a function to be unambiguous; another way of saying this is that for every , there is a unique output .