12,080
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 14:20, 4 February 2009
, 14:20, 4 February 2009→Box Displays
<br>
<br>
===Definition 8===
<pre>
Definition 8
If R c OxSxI,
then the following are identical subsets of SxI:
D8a. RSI
D8b. ConR
D8c. Con(R)
D8d. PrSI(R)
D8e. {<s, i> C SxI : <o, s, i> C R for some o C O}
</pre>
===Definition 9===
<pre>
Definition 9
If R c OxSxI,
then the following are identical subsets of IxS:
D9a. RIS
D9b. RSI^
D9c. ConR^
D9d. Con(R)^
D9e. PrIS(R)
D9f. Conv(Con(R))
D9g. {<i, s> C IxS : <o, s, i> C R for some o C O}
</pre>
===Definition 10===
<pre>
Definition 10
If R c OxSxI,
then the following are identical subsets of OxS:
D10a. ROS
D10b. DenR
D10c. Den(R)
D10d. PrOS(R)
D10e. {<o, s> C OxS : <o, s, i> C R for some i C I}
</pre>