一个类型是“某个生成器 F 的不动点”
就意味着它是“所有用 F 构造出来的表达式的集合的封闭包”

这其实是说：
类型是一种由规则定义的结构闭包（closure）

比如说：
自然数：由构造器 zero, succ 构造的最小闭包
语法树、表达式、逻辑公式……很多东西都可以视为这种构造闭包

introduction rule: 定义该类型有哪些构造器（构造元素的方式）
自然数有两个构造器：