Forcing algebra/Closure operations for ideals/Examples/Section