信息系统
给定一个信息系统 formula_1，我们可以建造斯科特域如下。