Frink ideal


En matemáticas, un ideal de Frink , introducido por Orrin Frink , es un cierto tipo de subconjunto de un conjunto parcialmente ordenado .

LU ( A ) es el conjunto de todos los límites inferiores comunes del conjunto de todos los límites superiores comunes del subconjunto A de un conjunto parcialmente ordenado .

Por cada subconjunto finito S de I , tenemos LU ( SI . 

Un subconjunto I de un conjunto parcialmente ordenado ( P , ≤) es un ideales normal, o un corte si LU ( II .