Figure 1.

Structure of the Value Partition ODP, in UML. The covering axiom (the class parameter is equivalent to the union of classes value_1 to value_n) ensures that when a new class is added, it is added as a subclass of the values; thus, no new values can be added.