Skip to content
EntityQ1513048· pop 17· linked from 180 articles

upward directed set

Sign in to save

Also known as directed set, filtered set

preordered set whose every finite subset has an upper bound

Wikidata facts

Subclass of
non-empty set
Sources (1)

via Wikidata · CC0