"Numbers and sets. David Pierce. May,. By an iterative algebra, I mean an ordered triple (A,1,S), or A, where. ( ) A is a set;. ( ) 1 ∈ A;. ( ) S: A → A."