Ideal (order theory)

Nonempty, upper-bounded, downward-closed subset

In mathematical order theory, an ideal is a special subset of a partially ordered set (poset). Although this term historically was derived from the notion of a ring ideal of abstract algebra, it has subsequently been generalized to a different notion. Ideals are of great importance for many constructions in order and lattice theory.

From Wikipedia, under CC BY-SA. More on occurri.