MyWikiBiz, Author Your Legacy — Monday January 19, 2026
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: |