MyWikiBiz, Author Your Legacy — Thursday October 03, 2024
Jump to navigationJump to search
675 bytes added
, 14:20, 4 February 2009
Line 3,441: |
Line 3,441: |
| | | |
| <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> |