DEFINITION SEMANTIC TAXONOMY

NESTING RELATIONSHIP - Kuratowski's ordered pair


DescriptionAbstract 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.

Element

Adjacency Item

Kuratowski's ordered pair

RELATED ENTITIES


Connected EntityNameDescription
Nesting Entity  ElementAbstract
An  Element is an elementary constituent of a model. It is the top level abstraction of the  SysFEAT upper ontology.
Nested Entity  Adjacency ItemAbstract
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 .

SEMANTIC TAXONOMY


Sub-Types Super-Types
SUB-TYPES

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.