Definition talk:Inflationary Mapping/Subset

Not sure how to do this properly—Smullyan and Fitting use the term "progressing function", not "inflationary mapping". --Dfeuer (talk) 15:17, 21 March 2013 (UTC)