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