-antiprimes, where
is a formative condition regular for antiprimes. The element is said to be 'deduced' from its formative condition
.
The abstractive elements are the set of finite and infinite abstractive elements.
32.2 An abstractive element deduced from a regular formative condition
is such that every abstractive class formed out of its members either covers all