partial order on function space
page 154
chapter six