3.3.1 Определение
См. 2.11.
3.3.2 Базовый обобщенный ЭУЗ в разных контекстах
3.3.2.1 Контекст применимости определения