如果具有全异关系的两个概念A、B的外延之和等于它们的属概念C的外延，那么称A、B两个概念之间(相对于属概念C)有( )。