 Nondecreasing family of sets

ID: nondecreasing-family-of-sets

Codex  0 Created 2026-10-03 Updated 2026-10-05

(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!