| |
| | Ideal (order theory) - Wikipedia, the free encyclopedia |
 | | Although this term historically was derived from the notion of a ring ideal of abstract algebra, it has subsequently been generalized to a different notion. |
 | | It is defined to be a proper ideal I with the additional property that, whenever the meet (infimum) of some arbitrary set A is in I, some element of A is also in I. |
 | | In Stone's representation theorem for Boolean algebras, the maximal ideals (or, equivalently via the negation map, ultrafilters) are used to obtain the set of points of a topological space, whose clopen sets are isomorphic to the original Boolean algebra. |
| en.wikipedia.org /wiki/Order_ideal (1236 words) |
|