层化 在数学中层化有多种用法