12,089
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 04:18, 31 January 2009
, 04:18, 31 January 2009→Definition 4
|- style="height:40px"
|- style="height:40px"
|
|
| <math>\operatorname{D3b.}</math>
| <math>\operatorname{D4b.}</math>
| <math>\{ (x, y) \in X \times \underline\mathbb{B} ~:~ y ~=~ \downharpoonleft x \in Q \downharpoonright</math>
| <math>\{ (x, y) \in X \times \underline\mathbb{B} ~:~ y ~=~ \downharpoonleft x \in Q \downharpoonright</math>
|}
|}