设关系R和S的结构相同，分别有m和n个元组，那么R-S操作的结果中元组个数一定小于或等于m。