intersection closure