FAMILY OF CONCEPTS - Structural Partition of Mixed-Order Entity
| Categorized Class | 
Mixed-Order Entity Mixed-Order Entity is a class of Entitys that is transversal to order levels, defined polymorphically over the universe hierarchy (for every level u). It is a polymorphic subtype of Entity (declaration: MixedOrderEntity u ⊏⋆ₑ Entity v) and a power instance of Class of Mixed-Order Entity (declaration: ∷ₚₑ), which means that its subtypes may classify entities belonging to any universe level, whereas an Ordered Entity and its subtypes are anchored to a fixed level. Example: 1) Lexical Scope (an Aspect of Entity ) |
|---|
DISJOINT SUBTYPES of 'Mixed-Order Entity'
| Name | Description |
|---|---|
|
Aspect of Entity |
An Aspect of Entity is a class of Mixed-Order Entitys that is transversal to order levels, defined polymorphically over the universe hierarchy (for every level u). It is a polymorphic subtype of Entity (declaration: Aspect of Entity u ??? Entity v) An Aspect of Entity has no direct instances: it represents an aspect - a transversal characteristic - that an ordered class acquires through the aspect relation (⊏ₐₑ) without giving up its level anchoring. Example: 1) Lexical Scope. 2) Building Block. |
|
N-Plus Order Entity |
An N-Plus Order Entity is a Mixed-Order Entity which level of universe is u+n. Class of Entity is an 1+n N-Plus Order Entity. Meta-Class is an 2+n N-Plus Order Entity. |