 Nondecreasing family of sets

ID: nondecreasing-family-of-sets

(A_{t})

indexed by an partially ordered set is nondecreasing when

s \leq t ⟹ A_{s} \subseteq A_{t} .

 New to topics? Read the docs here!