Вид і рід у логіці

категорії, що виражають відношення між класами