| Description | Abstract Relationship Kuratowski's ordered pair gives locality of edges in graphs: the ⟨a,b⟩ pair’s existence is tied to the source element 'a': ⟨a,b⟩ ={ {a}, {a,b} } . The relation The relation ⟨a,b⟩ belongs to a — it is part of a’s internal structure, not a global edge in the graph.
|
|---|
| Connected Entity | Name | Description |
|---|---|---|
| Nesting Entity |
Element | Abstract An Element is an elementary constituent of a model. It is the top level abstraction of the SysFEAT upper ontology. |
| Nested Entity |
Adjacency Item | Abstract An Adjacency Item is a member of a Kuratowski's ordered pair, and represents an elementary constituent of a model, used to reference an Element. It is a basic construct to form Kuratowski's ordered pairs. An Adjacency Item is either a Reference Adjacency or a Nesting Adjacency . |
Click node rectangle to collapse/expand one level. Click triangle for full recursive collapse/expand. Double-click on a node to open its URL. Hover for description.