Semantic Graph, Gql, Graph Theory, Knowledge, Ontology.
universe, or union of classes. The same for the Range of Object type property. With a functional property, an item of the graph exists with as first member an item of the domain for each item of the domain. For inverse functional property, an item of the graph exists with as second member an item