' 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