Duality between Ideal and Filters on a poset I am studying Ideals and Filters on a poset, and it is clear to me that this are dual notions in the sense that reversing inclusions in the definition we can get the one from the other, or in the sense that taking complements of subsets belomging to a structure we obtain the associated dual one. 
I was wondering if there is more about this duality concept, particularly in relation to general topology: Filters are used directly to assign neighboroods, do Ideal directly play a role as well?

There is a nice duality between filters and ideals in topology, but then we have to go via Boolean algebras and Stone spaces:
If we have a Boolean algebra (BA) $B$ (a bounded distributed and complemented lattice essentially, so with operations $\land, \lor, \lnot$ and a $0$ and $1$.) on the set $S(B)$  of its ultrafilters we can put a natural topology that makes it into a compact Hausdorff space with a base of clopen (closed-and-open) sets.
On the other hand, if we have a compact Hausdorff space with a base of clopen sets (a co-called Stone space) $X$ then $CO(X)$, the set of clopen subsets of $X$, is a natural Boolean algebra (with the standard set operations of union, intersection and complementation and $\emptyset$, $X$ as top and bottom. 
It turns out these are "natural" inverses: the Stone space of the BA $CO(X)$ is homeomorphic to $X$ again and $CO(S(B))$ is isomorphic to the BA $B$ for all Boolean algebras. 
Now a filter $\mathcal{F}$ in a BA $B$ corresponds to a closed set $C \subseteq S(B)$ : define $C$ to be the set of all ultrafilters on $B$ (i.e. points of $S(B)$) that contain $\mathcal{F}$. And vice versa, if $C$ is a closed subset of $S(B)$, then the corresponding filter in $B$ is the intersection of all $\mathcal{U}_b$ with $\mathcal{U}_b \in C$, where $\mathcal{U}_b=\{: F \subseteq B: b \in F\}$ is the ultrafilter on $B$ determined by $b$. 
Dually an open subset $O$ of $S(B)$ corresponds to an ideal of $B$ and vice versa. 
So in Stone spaces we see that the duality open vs closed is the mirrror image of 
the filter and ideal duality.
For more info on this duality and proofs, see these notes by KP Hart.
