A selection of a property that determines which subclass a concept instance of the super class shall belong to. If it is exhaustive an instance of the superclass must always belong to at least one subclass. If it is overlapping an instance may belong to more than one subclass at a time.