' 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