Ordered Class Models Clause Samples

Ordered Class Models. An ordered class model is one in which the classes are ordered by containment. To help explain what this means, this section defines such a model in three quite different ways: first in graph theory, then in set theory, and finally (as an experimental aside) in type theory. Although the graph theoretical and set theoretical definitions elide the attributes of classes and the multiplicities of relations, they are nevertheless still insightful.