Solution (source code)

= Solution

The family is a <nondecreasing family of sets> when
$$
A_s\subseteq A_t\qquad(0\leq s\leq t).
$$