Логическая операция перехода от родового понятия к видовому, путем добавления к содержанию данного родового понятия видообразующих признаков, называется