Line 3,402: |
Line 3,402: |
| <br> | | <br> |
| | | |
− | <pre> | + | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:80%" |
− | Table 47.2 Derived Types for ERs of Sign Relations | + | |+ style="height:30px" | |
− | Type Symbol Construction
| + | <math>\text{Table 47.2} ~~ \text{Derived Types for ERs of Sign Relations}\!</math> |
− | Relation R S(T(U))
| + | |- style="height:40px; background:#f0f0ff" |
− | </pre> | + | | width="33%" | <math>\text{Type}\!</math> |
| + | | width="33%" | <math>\text{Sign}\!</math> |
| + | | width="33%" | <math>\text{Construction}\!</math> |
| + | |- |
| + | | <math>\text{Relation}\!</math> |
| + | | <math>R\!</math> |
| + | | <math>S(T(U))\!</math> |
| + | |} |
| | | |
| <br> | | <br> |
| | | |
− | <pre> | + | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:80%" |
− | Table 47.3 Derived Types for IRs of Sign Relations | + | |+ style="height:30px" | |
− | Type Symbol Construction
| + | <math>\text{Table 47.3} ~~ \text{Derived Types for IRs of Sign Relations}\!</math> |
− | Relation P(R) P(S(T(U)))
| + | |- style="height:40px; background:#f0f0ff" |
− | </pre> | + | | width="33%" | <math>\text{Type}\!</math> |
| + | | width="33%" | <math>\text{Sign}\!</math> |
| + | | width="33%" | <math>\text{Construction}\!</math> |
| + | |- |
| + | | <math>\text{Relation}\!</math> |
| + | | <math>P(R)\!</math> |
| + | | <math>P(S(T(U)))\!</math> |
| + | |} |
| | | |
| <br> | | <br> |