Eigenclass model: Difference between revisions

Revision as of 19:15, 15 November 2012

Revision as of 20:49, 21 November 2012

Line 171:

For each object <i>x</i>, the primary object <i>x.c</i> is the

least primary ancestor of <i>x</i>.

Axiom (7) asserts that <i>.c</i> preserves &#1013;.

As a consequence, <i>.c</i> is a

[[Homomorphism#Homomorphisms_of_relational_structures|homomorphic]]

[[Projection_(mathematics)|projection]]

of <span style="white-space:nowrap"><i>(<u>O</u></i>, &#1013;, &le;<i>)</i></span>

onto the [[#Primary_structure|primary structure]],

<span style="white-space:nowrap"><i>(<u>O</u>.c</i>, &#1013;, &le;<i>)</i></span>.

Primary objects are further divided into

Line 386 ⟶ 394:

<i>instance-of-instance-of</i> relation.

=== The primary structure {{anchor|Primary_structure}} ===

The restriction of a canonical structure of object membership