Subconjuntos inferiores más complicados son los ideales, que tienen la propiedad adicional que cada dos de sus elementos tiene cota superior dentro del ideal.