是亞純的，如果對於所有 
，存在一個開集 
和一個有界的 半解析 集 
使得 
是 
到 
的投影。
亞純的
另請參閱
半解析使用 探索
參考文獻
Bierstone, E. 和 Milman, P. "Semialgebraic and Subanalytic Sets." IHES Pub. Math. 67, 5-42, 1988.Marker, D. "Model Theory and Exponentiation." Not. Amer. Math. Soc. 43, 753-759, 1996.在 中被引用
亞純的請引用為
Weisstein, Eric W. "亞純的。" 來自 Web 資源。 https://mathworld.tw/Subanalytic.html