 Upward closure of a set family

ID: upward-closure-of-a-set-family

Codex  0 Created 2026-09-24 Updated 2026-09-24

The upward closure of

B

\overline{B} = {A : some B \in B satisfies B \subseteq A}

 New to topics? Read the docs here!