бесконечно дифференцирумы во всех точках этого множества.
Этого не хватает для аналитичности (следовало сказать "и сумма их ряда Тейлора равна самой функции").
А пример - легко (если работать именно с каким либо заданным полем, и диф-ть и ряды понимать именно в рамках поля) -
поле вещ. чисел, функция, диф-я лишь конечное число раз. А можно и более извращенный - стандартный пример беск. гладкой, для которой ряд Тейлора не сходится (или сходится, но не к самой ф-ции: такой пример в обязательном порядке дают в качестве иллюстрации различия аналитичности (вещественной) и гладкости (бесконечной))