Go backward to Example Go up to Top Go forward to Input and Output Conditions |
Unary predicate that describes well-formed input n.
Binary predicate that describes how the output p is related to the input n.
Specification of an explicit construction problem.