12,080
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 17:01, 2 February 2009
, 17:01, 2 February 2009→Variant 1
\upharpoonleft Q \upharpoonright
\upharpoonleft Q \upharpoonright
& = &
& = &
\{ (x, y) \in X \times \underline\mathbb{B} ~:~ y ~=~ \downharpoonleft s \downharpoonright (x) \}
\{ (x, y) \in X \times \underline\mathbb{B} ~:~ y = \, \downharpoonleft s \downharpoonright (x) \}
\end{array}</math>
\end{array}</math>
| style="border-left:1px solid black; text-align:center" | <math>\operatorname{R11c~:~\_\_?\_\_}</math>
| style="border-left:1px solid black; text-align:center" |
<p><math>\operatorname{R11c~:~\_\_?\_\_}</math></p>
<p><math>\operatorname{R11c~:~\_\_?\_\_}</math></p>
|- style="height:20px"
|
|
|
| style="border-left:1px solid black; text-align:center" | <math>::\!</math>
|- style="height:60px"
|
| <math>\operatorname{R11d.}</math>
|
<math>\begin{array}{lcl}
\upharpoonleft Q \upharpoonright
& : &
X \to \underline\mathbb{B}
\\
\upharpoonleft Q \upharpoonright (x)
& = &
\downharpoonleft s \downharpoonright (x)
\end{array}</math>
| style="border-left:1px solid black; text-align:center" |
<p><math>\operatorname{R11d~:~\_\_?\_\_}</math></p>
<p><math>\operatorname{R11d~:~\_\_?\_\_}</math></p>
|}
|}
|}
|}