are identical. For example, let

be the class whose members are

,

,

. Then the class which is used to define the product