Go backward to ExampleGo up to TopGo forward to Example |

Restrict Arguments (needs set theory):

f:A_{0}x ... xA_{n-1}->Bf(x_{0}, ...,x_{n-1}) :=T

New axiom:

forallx_{0}, ...,x_{n-1}:< x_{0}, ...,x_{n-1}> inA=>f(x_{0}, ...,x_{n-1}) =T.

*If arguments violate condition, function result is undefined.*

Author: Wolfgang Schreiner

Last Modification: October 14, 1999