' may be] when (i) it satisfies the condition
, and (ii) it is covered by every other abstractive class satisfying the same condition
.
For brevity an abstractive class which is prime in respect to a formative condition
is called a
-prime. Evidently two