複素解析的多様体mの解析的部分集合()は、局所的にはm上の正則函数の族の零点の軌跡である。