идеал порядковый

Матем. order ideal