' 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