Frontière Réel-Analytique

Une frontière localement définie par des fonctions réel-analytiques de sorte qu'au voisinage de chaque point les fonctions définissantes admettent des développements en séries convergentes et la frontière est localement l'ensemble nul de telles fonctions analytiques.