' is the set of events which are members of
-primes, where
is a formative condition regular for primes. The element is said to be 'deduced' from its formative condition
.
An 'infinite abstractive element deduced from the formative condition
' is the set of events which are members of