' may be] when (i) it satisfies the condition

, and (ii) it covers every other abstractive class satisfying the same condition

. For brevity an abstractive class which is antiprime in respect to a formative condition

is called a

-antiprime. Evidently two