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 ( S ) I .
Un subconjunto I de un conjunto parcialmente ordenado ( P , ≤) es un ideales normal, o un corte si LU ( I ) I .