Nondecreasing family of sets (source code)

= Nondecreasing family of sets

A family of sets $(A_t)$ indexed by an <partially ordered set> is nondecreasing when
$$
s\leq t\quad\Longrightarrow\quad A_s\subseteq A_t.
$$