En matemáticas , un elemento p de un orden parcial (P, ≤) es un elemento primo perfecto cuando p es el elemento principal de un ideal primo perfecto . De manera equivalente, si P es una red , p ≠ top , y para todos los a , b en P ,