non-empty set

set with at least one element

pi-system
upward directed set
1