Closure under functional operations

Book 2 from Recommened Books

Page 10-14