Frontera Real-Analítica

Una frontera definida localmente por funciones real-analíticas, de modo que en torno a cada punto las funciones definitorias admiten expansiones en series de potencias convergentes y la frontera es localmente el conjunto de ceros de dichas funciones analíticas.