is: a function for which for all [M4.4]
exists: on an interval if is negative at all points of the interval. [M4.4]
Copyright 1997, The Open University
for which 
for all 
[M4.4]
for which for all [M4.4]
is negative at all points of the interval. [M4.4]
