Ultratopologies generated by generalized topologies

摘要

It is proved a rather general version of the statement that if the union of arbitrary elements of a system λ always belongs to λ then the intersections of elements of λ constitute an ultratopology (i.e. a topology where intersections of open sets are open).