A formative condition

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

-primes and (ii) the set of abstractive classes

-equal to any one assigned

-prime is identical with the complete set of