Content deleted Content added
→Primary objects: The .c operator is a homomorphic projection |
→The primary structure: Made a section instead of subsection. Example added. |
||
Line 394:
<i>instance-of-instance-of</i> relation.
The restriction of a canonical structure of object membership
Line 441:
</ol>
[[File:Eigenclass-model-sample-pr.svg|
Eigenclass model - The primary structure|
right|
225px
]]
The diagram on the right shows the primary structure that is the restriction of the [[#Example|example]] structure.
The instance-of relation is obtained as the composition
<span style="white-space:nowrap">(≤) ○ (<i>.ͼlass</i>) ○ (≤)</span> where
<i>.ͼlass</i> is the <em>class map reduction</em>
– the "non-inherited" part of the <i>.class</i> map
(displayed by dark blue arrows).
=== Eigenclass completion ===
| |||