-prime,' and let

be the condition of 'being a

-antiprime.' Thus an abstractive class, which satisfies the condition

, (i) satisfies the condition

, and (ii) is covered by every other abstractive class satisfying the same condition