идеал Фринка

В математике идеал Фринка , введенный Оррином Фринком , представляет собой определенный вид подмножества частично упорядоченного множества .

LU( A ) — множество всех общих нижних границ множества всех общих верхних границ подмножества A частично упорядоченного множества .

Для каждого конечного подмножества S множества I имеем LU( S ) I . ${\ Displaystyle \ подсетек}$

Подмножество I частично упорядоченного множества ( P , ≤) является нормальным идеалом или разрезом , если LU( I ) I . ${\ Displaystyle \ подсетек}$