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