Subset Relations

Subset relations are used to define a relationship between two sets in which one set, the intended subset, is the subset of the other set, the intended superset. In order to define a subset relation both sets require a common, decomposing collection. That is, there must exist a collection of the same category on both sets and that collection must be a decomposition of its containing set. For more information, see *Relation Notes* and saf_declare_subset_relation.