Notation: If S is a collection of natural numbers and there exists a natural number n such that s < n for all s in S, then by Theorem 4.12, S will be a set, and we will write

 

S = { s < n | s satisfies the defining property for S }

 

to make it clear that S is, in fact, a set.

Theorem 4.12