Go backward to Example Go up to Top Go forward to Example |
Restrict Arguments (needs set theory):
f: A0 x ... x An-1 -> B f(x0, ..., xn-1) := T
New axiom:
forall x0, ..., xn-1: <x0, ..., xn-1> in A => f(x0, ..., xn-1) = T.
If arguments violate condition, function result is undefined.