for its converse domain.

The multiplicative axiom is equivalent to the assumption that if

be any class, and

all the sub-classes of

with the exception of the null-class, then there is at least one selector from