Ideal (order theory)

ID: 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.

New to topics? Read the docs here!