Go backward to Example Go up to Top Go forward to Unique Implicit Function Definitions

Example

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

f(x) := such y: 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.