It is usually required that the attribute names in the header of S are a subset of those of R because otherwise the result of the operation will always be empty.
通常要求在S的表头中的属性名字是R的表头的属性名字的子集，否则运算的结果永远为空。