Definition Monotone Decreasing Event Sequence A sequence of sets is monotone decreasing if and we define