Традиционная логика

ОБОБЩЕНИЯ ПРАВИЛО

понятия, получаемые в результате обобщения (ограничения), должны находиться в отношении подчинения с исходными обобщаемыми (ограничиваемыми) понятиями.