lower set

A finite non-empty downward closed subset of a partial order.

1
Show
Maximize