previous up next
Go backward to Example
Go up to Top
Go forward to Unique Implicit Function Definitions
RISC-Linz logo


Let f(x) be a y such that y | x.
f(x) := such y: y | x

Value is not necessarily unique.

Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next