Unformatted text preview: N × N × N : { ( x,y,z )  x < y and x < z } Make sure your deﬁnition is given solely in terms of the successor operation. (B) Show that (2 , 4 , 3) is in your inductively deﬁned set. (4) (A) Give an inductive deﬁnition of the following subset of N + × N + : { ( m,n )  n = 1 · 2 · ... · ( m1) · m } Make sure your deﬁnition is given solely in terms of the successor operation and the multiplication operation on N . (B) Show that (3 , 6) is in your inductively deﬁned set. 1...
View
Full Document
 Spring '11
 H
 Set Theory, Multiplication, Natural number, inductive definition

Click to edit the document details