MyWikiBiz, Author Your Legacy — Friday May 31, 2024
Jump to navigationJump to search
365 bytes added
, 17:40, 2 September 2007
Line 1,171: |
Line 1,171: |
| Recall the reading of the staging relations: | | Recall the reading of the staging relations: |
| | | |
− | "h : x < m" = "h regards x as an instance of m", | + | :{| cellpadding="2" style="text-align:center" |
− | | + | | ''h'' : ''x'' <font face="system"><s><</s></font> ''m'' |
− | "h : m > y" = "h regards m as a property of y".
| + | | ⇔ |
− | | + | | ''h'' regards ''x'' |
− | "h : x > n" = "h regards x as a property of n",
| + | | as |
− | | + | | an |
− | "h : n < y" = "h regards n as an instance of y".
| + | | instance of ''m'' , |
| + | |- |
| + | | ''h'' : ''m'' <font face="system"><s>></s></font> ''y'' |
| + | | ⇔ |
| + | | ''h'' regards ''m'' |
| + | | as |
| + | | a |
| + | | property of ''y'' . |
| + | |- |
| + | | ''h'' : ''x'' <font face="system"><s>></s></font> ''n'' |
| + | | ⇔ |
| + | | ''h'' regards ''x'' |
| + | | as |
| + | | a |
| + | | property of ''n'' , |
| + | |- |
| + | | ''h'' : ''n'' <font face="system"><s><</s></font> ''y'' |
| + | | ⇔ |
| + | | ''h'' regards ''n'' |
| + | | as |
| + | | an |
| + | | instance of ''y'' . |
| + | |} |
| | | |
| Express the analysis of icons and indices as follows: | | Express the analysis of icons and indices as follows: |