| 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''' } |
| | |} | | |} |
| | | | |