abstractmath.org 

GLOSSARY  

 

Posted 14 January 2009

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

 

hat

hold

An assertion P containing a variable x holds for a if P becomes true when a is substituted for x. 

Examples

¨  "  holds for all x."  

¨  “  holds for .”

¨  “  holds for all x if f is the function defined by , but not if f  is the sine function.”  (Here the substitution is being made for f rather than for x.)