- The elements include every possible pair of elements from the
**Bool**domain.

- The order relation is defined as (b
_{1}, b_{2}) < (b'_{1}, b'_{2}) when b_{1}< b'_{1}and b_{2}< b'_{2}.

*f*.*n*.**if***n***=**0**then***n***else***n***+***f*(*n***-**1)

*f*.*n*.**if***n***=**0**then**7**else***f*(*n*)

Last update: Tuesday, April 18th, 2000mflatt@cs.utah.edu |