参考答案：

设有关系R（X，Y）与关系S（Z），其中，X、Y、Z为属性集合。假设Y和Z具有相同的属性个数，已对应属性出自相同域，关系R（X，Y）除以S（Z）所得的商关系是关系R在属性X上投影的一个子集，该子集和S（Z）的笛卡尔积必须包含在R（X，Y）中，记为R÷S。