complementos de los ideales principales (es decir conjuntos de la forma { "y" en "X"|"y" ≤ "x"} para cada "x") como una subbase.