开闭集

open-closed set