upper set (Q2528262)
subset of a preordered set that includes all successors of its elements
Language:
other details
aliases upset
 upward closed set
description subset of a preordered set that includes all successors of its elements

External Links
(P646) /m/08bjl4
(P4215) upper set
(P6366) 2776652719