MyWikiBiz, Author Your Legacy — Thursday April 18, 2024
Jump to navigationJump to search
54 bytes added
, 21:00, 5 March 2008
Line 147: |
Line 147: |
| | ''proj''<sub>OS</sub>('''L''') | | | ''proj''<sub>OS</sub>('''L''') |
| | = | | | = |
− | | { (''o'', ''s'') ∈ '''O''' × '''S''' : (''o'', ''s'', ''i'') ∈ '''L''' for some ''i'' ∈ '''I''' } | + | | { (''o'', ''s'') ∈ '''O''' × '''S''' : (''o'', ''s'', ''i'') ∈ '''L''' for some ''i'' ∈ '''I''' } |
| |- | | |- |
| | '''L'''<sub>SO</sub> | | | '''L'''<sub>SO</sub> |
Line 153: |
Line 153: |
| | ''proj''<sub>SO</sub>('''L''') | | | ''proj''<sub>SO</sub>('''L''') |
| | = | | | = |
− | | { (''s'', ''o'') ∈ '''S''' × '''O''' : (''o'', ''s'', ''i'') ∈ '''L''' for some ''i'' ∈ '''I''' } | + | | { (''s'', ''o'') ∈ '''S''' × '''O''' : (''o'', ''s'', ''i'') ∈ '''L''' for some ''i'' ∈ '''I''' } |
| |- | | |- |
| | '''L'''<sub>IS</sub> | | | '''L'''<sub>IS</sub> |
Line 159: |
Line 159: |
| | ''proj''<sub>IS</sub>('''L''') | | | ''proj''<sub>IS</sub>('''L''') |
| | = | | | = |
− | | { (''i'', ''s'') ∈ '''I''' × '''S''' : (''o'', ''s'', ''i'') ∈ '''L''' for some ''o'' ∈ '''O''' } | + | | { (''i'', ''s'') ∈ '''I''' × '''S''' : (''o'', ''s'', ''i'') ∈ '''L''' for some ''o'' ∈ '''O''' } |
| |- | | |- |
| | '''L'''<sub>SI</sub> | | | '''L'''<sub>SI</sub> |
Line 165: |
Line 165: |
| | ''proj''<sub>SI</sub>('''L''') | | | ''proj''<sub>SI</sub>('''L''') |
| | = | | | = |
− | | { (''s'', ''i'') ∈ '''S''' × '''I''' : (''o'', ''s'', ''i'') ∈ '''L''' for some ''o'' ∈ '''O''' } | + | | { (''s'', ''i'') ∈ '''S''' × '''I''' : (''o'', ''s'', ''i'') ∈ '''L''' for some ''o'' ∈ '''O''' } |
| |- | | |- |
| | '''L'''<sub>OI</sub> | | | '''L'''<sub>OI</sub> |
Line 171: |
Line 171: |
| | ''proj''<sub>OI</sub>('''L''') | | | ''proj''<sub>OI</sub>('''L''') |
| | = | | | = |
− | | { (''o'', ''i'') ∈ '''O''' × '''I''' : (''o'', ''s'', ''i'') ∈ '''L''' for some ''s'' ∈ '''S''' } | + | | { (''o'', ''i'') ∈ '''O''' × '''I''' : (''o'', ''s'', ''i'') ∈ '''L''' for some ''s'' ∈ '''S''' } |
| |- | | |- |
| | '''L'''<sub>IO</sub> | | | '''L'''<sub>IO</sub> |
Line 177: |
Line 177: |
| | ''proj''<sub>IO</sub>('''L''') | | | ''proj''<sub>IO</sub>('''L''') |
| | = | | | = |
− | | { (''i'', ''o'') ∈ '''I''' × '''O''' : (''o'', ''s'', ''i'') ∈ '''L''' for some ''s'' ∈ '''S''' } | + | | { (''i'', ''o'') ∈ '''I''' × '''O''' : (''o'', ''s'', ''i'') ∈ '''L''' for some ''s'' ∈ '''S''' } |
| |} | | |} |
| | | |