Исследуется дифференциальное включение, не разрешенное относительно производной неизвестной функции. Для этого получена теорема о разрешимости абстрактного включения, порожденного многозначным упорядочено накрывающим отображением. С ее помощью получены достаточные условий разрешимости и оценки решения задачи Коши для неявного дифференциального включения.