划分子项的外延之和必须等于划分母项的外延。
出自:国家开放大学《法律逻辑学》