Construction of N

• 
• if then
• N is the smallest possible set such that the preceding rules hold.

Informally (thus , , , ). We will refer to the elements of N by giving them a subscript . The relation on N is defined as: iff . We can define as follows:

• 
• 

Define as:

• 
•