MyWikiBiz, Author Your Legacy — Monday October 27, 2025
Jump to navigationJump to search
716 bytes added
, 20:16, 13 September 2012
| 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> |