Go backward to ExampleGo up to TopGo forward to Unique Implicit Function Definitions |

i.e.,Let f(x) be aysuch thaty|x.

f(x) :=suchy:y|x

- We know
**exists**`x`:`x`| 12 (because 6|12). - We know
`f`(12) | 12. - We know
`f`(12) in {1, 2, 3, 4, 6, 12}. - We do
*not*know`f`(12) = 6.

*Value is not necessarily unique.*

Author: Wolfgang Schreiner

Last Modification: October 14, 1999