12,080
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 15:00, 9 February 2009
, 15:00, 9 February 2009→Definition 10
|- style="height:40px; text-align:center"
|- style="height:40px; text-align:center"
| width="80%" |
| width="80%" |
| width="20%" | <math>\operatorname{Definition~8}</math>
| width="20%" | <math>\operatorname{Definition~10}</math>
|}
|}
|-
|-
|
|
| <math>\text{then}\!</math>
| <math>\text{then}\!</math>
| <math>\text{the following are identical subsets of}~ S \times I \, :</math>
| <math>\text{the following are identical subsets of}~ O \times S \, :</math>
|}
|}
|-
|-
|- style="height:40px"
|- style="height:40px"
| width="2%" style="border-top:1px solid black" |
| width="2%" style="border-top:1px solid black" |
| width="18%" style="border-top:1px solid black" | <math>\operatorname{D8a.}</math>
| width="18%" style="border-top:1px solid black" | <math>\operatorname{D10a.}</math>
| width="80%" style="border-top:1px solid black" | <math>L_{SI}\!</math>
| width="80%" style="border-top:1px solid black" | <math>L_{OS}\!</math>
|- style="height:40px"
|- style="height:40px"
|
|
| <math>\operatorname{D8b.}</math>
| <math>\operatorname{D10b.}</math>
| <math>\operatorname{Con}^L</math>
| <math>\operatorname{Den}^L</math>
|- style="height:40px"
|- style="height:40px"
|
|
| <math>\operatorname{D8c.}</math>
| <math>\operatorname{D10c.}</math>
| <math>\operatorname{Con}(L)</math>
| <math>\operatorname{Den}(L)</math>
|- style="height:40px"
|- style="height:40px"
|
|
| <math>\operatorname{D8d.}</math>
| <math>\operatorname{D10d.}</math>
| <math>\operatorname{proj}_{SI}(L)</math>
| <math>\operatorname{proj}_{OS}(L)</math>
|- style="height:40px"
|- style="height:40px"
|
|
| <math>\operatorname{D8e.}</math>
| <math>\operatorname{D10e.}</math>
| <math>\{ (s, i) \in S \times I ~:~ (o, s, i) \in L ~\operatorname{for~some}~ o \in O \}</math>
| <math>\{ (o, s) \in O \times S ~:~ (o, s, i) \in L ~\operatorname{for~some}~ i \in I \}</math>
|}
|}
|}
|}