ideal (Q1656686)
in order theory, a nonempty, upward‐directed, downward‐closed subset of a preordered set
Language:
other details
aliases order ideal
description in order theory, a nonempty, upward‐directed, downward‐closed subset of a preordered set

External Links