DEFINITION SEMANTIC TAXONOMY

NESTING RELATIONSHIP - Kuratowski's ordered pair


DescriptionAbstract Relationship
 Kuratowski's ordered pair gives locality of relationships (the pair’s existence is tied to the source element 'a'): <a,b> ={ {a}, {a,b} } .
The relationship (a,b) is local to a — it exists only in the syntactic context of a.”
epresent edges of directed graphs as a lists where each vertex (Elements) points to its targets through a referencing mechanism:  Adjacency Item.

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  an 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

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.