Monotone class (source code)

= Monotone class

A monotone class of sets is closed under increasing countable unions and decreasing countable intersections.