上半连续分解

upper semi-continuous decomposition