Поиск в словарях
Generalized inductive class
математика
обобщённый индуктивный класс