Ideal (order theory) (source code)

= Ideal (order theory)
{wiki=Ideal_(order_theory)}

In order theory, an **ideal** is a specific subset of a partially ordered set (poset) that captures a certain type of "lower" structure.