-primes; and

will be called 'regular for antiprimes' when (i) there are

-antiprimes and (ii) the set of abstractive classes

-equal to any one assigned

-antiprime is identical with the complete set of