lower set (Q120868099)
subset of a preordered set that includes all predecessors of its elements
Language:
other details
aliases downward closed set
description subset of a preordered set that includes all predecessors of its elements