<math> <apply><forall/><bvar><ci type="set">S</ci></bvar> <apply><eq/> <apply><intersect/><emptyset/><ci>S</ci></apply> <emptyset/> </apply> </apply> </math>