In mathematical order theory, an ideal is a special subset of a partially ordered set. 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. Wikipedia