闭集基

closed set basis