
abstractmath.org GLOSSARY
to be written
An assertion P containing a variable x holds for a if P becomes true when a is substituted for x.
¨ " 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.)