对两个关系按照一方的主码进行自然连接，在其运算结果的关系中，其元组个数必然大于等于原有两个关系中的元组个数之和。