FAMILY OF CONCEPTS - Ordering Partition of Element
| Categorized Class | 
Element Element is the most primitive concept in the Predication Substrate: anything that can be the subject or object of predication. Formally, Element u = Set u - a type at universe level u. An Element makes no ontological commitment: it is neither an Entity nor a Relation, neither concrete nor abstract. It is simply something that can be talked about - classified, linked, composed. Every concept in SysFEAT is an Element at some universe level; what distinguishes concepts is the level at which they live and the Linkages they participate in. |
|---|
DISJOINT SUBTYPES of 'Element'
| Name | Description |
|---|---|
|
Mixed-Order Element |
An Mixed-Order Element is an Element that can belong to multiple metamodeling order (mixed universes in Agda). Example: |
|
Ordered Element |
An Ordered Element is an Element that can belong to only to a single metamodeling order (fixed universe in Agda). Example: |