 It is immediate from the definition that S is closed under unions, intersections, and complements.Comparing the definition with that of formula_6 and formula_7, it also follows immediately that S is contained in formula_8.This inclusion can in fact be strengthened to ZPPNP.