sexbase - Definition of super sets

Any number of extents can be defined as super set of an extent. Super sets must be defined as extents based on the same type as the current extent or on a base type of the current extent structure, in which case the super set must be weak-typed.

Subset/super set relations are bi-directional and need to be defined only in one direction. As long as the set relations are consistent, one may define also both directions.

An extent can be defined as the intersection of its super sets by setting the intersect option .