Content deleted Content added
m convert html to wikicode |
→Reduced helix: New subsubsection added. |
||
Line 329:
The same conditions hold for all twist links
''(<u>r</u>.ec(i+1), <u>c</u>(i))''.
==== Reduced helix ====
Let ''<u>R</u>'' denote the eigenclass chain
{''<u>r</u>'', ''<u>r</u>.ec(1)'', ''<u>r</u>.ec(2)'', …}
of the inheritance root.
Being a distinguished subset of ''<u>H</u>'', the set ''<u>R</u>'' can be called the ''reduced helix''.
Helix objects are the ancestors of objects from the reduced helix, i.e.
''<u>H</u> = <u>R</u>.''↥.
Assuming finiteness of the set of primary objects (asserted by (9)(b)), condition (9)(a) can be equivalently replaced by the requirement that the reduced helix has no [[Upper and lower bounds|lower bound]] in inheritance, i.e. there is no object ''x'' such that
''<u>R</u>'' ⊆ ''x.''↥.
As a consequence, ''<u>R</u>'' is a closure system in
<span style="white-space:nowrap">''(<u>O</u>'' ∖ ''<u>T</u>'', ≤'')''</span> and so is ''<u>H</u>''.
=== Metaclasses ===
| |||