For each choice of propositions <math>p\!</math> and <math>q\!</math> about things in <math>X,\!</math> the stretch of <math>F\!</math> to <math>p\!</math> and <math>q\!</math> on <math>X\!</math> is just another proposition about things in <math>X,\!</math> a simple proposition in its own right, no matter how complex its current expression or its present construction as <math>F^\$ (p, q) = \underline{(}~p~,~q~\underline{)}^\$</math> makes it appear in relation to <math>p\!</math> and <math>q.\!</math> Like any other proposition about things in <math>X,\!</math> it indicates a subset of <math>X,\!</math> namely, the fiber that is variously described in the following ways:
<pre>
<pre>
−
For each choice of propositions p and q about things in X, the stretch of
−
F to p and q on X is just another proposition about things in X, a simple
−
proposition in its own right, no matter how complex its current expression
−
or its present construction as F^$ (p, q) = -(p, q)^$ makes it appear in
−
relation to p and q. Like any other proposition about things in X, it
−
indicates a subset of X, namely, the fiber that is variously described