Theoretic background
Lets just set some background to be sure what I am talking about
Posets
A Poset is defined to be a couple $(S,\leq)$ where a set $S$ and its elements $s \in S$ are connected together by binary relation $\leq$ satisfying the following properties for $s,t,u \in S$:
- $s \leq s$
- $s \leq t \wedge t \leq s \implies s=t$
- $s \leq t \wedge t \leq u \implies s \leq u$
Lattices
A lattice is a poset where it is always possible, for every element of the set $S$: $\forall s \in S$, to find a meet and a join. Or equivalently a Greatest Lower Bound and a Least Upper Bound. Meet and Join MUST be UNIQUE for all elements of the set without ambiguity.
The problem
My problem is getting a Lattice from a Poset. This is always possible by means of the concept of Ideal.
Ideal
A debate on the definition of ideal is still ongoing here (in this community). Below I am reporting the two definitions, one in Wikipedia Wikipedia article on Ideals (poset) and the other one in some authoritative books (see below).
Definition of Ideal according to Wikipedia
Given poset $(S,\leq)$ we consider a $I \subseteq S$. It is an Ideal of $S$ if it has the following property:
$$I \subseteq S,\forall x,y\in I\exists z\in I\ x\leq z\ \text{and}\ y\leq z \wedge x \leq y \in I \implies x \in I$$
Definition of Ideal according to A. Bjorner, G. M. Ziegler (Matroid Applications edited by N. L. White - Cambridge University Press - First published 1992)
Citing from the book:
"Let $(E,\leq)$ be a finite partially ordered set and $F$ be the set of ideals of $E$ (a subset $A \subseteq E$ is an ideal if $x \leq y \in A$ implies $x \in A$)...".
Definition of Ideal according to Alexander Schrijver (3 volume encyclopedia "Combinatorial Optimization - Volume A" - Springer - 2002)
Citing from the book:
"Each partially ordered set $(S,\leq)$ gives a distributive lattice in the following way. Call a subset $I \subseteq S$ a lower ideal, or just an ideal, if $t \in I$ and $s \leq t$ implies that $s \in I$...".
Constructing the Lattice
To get a Lattice from a Poset $(S,\leq)$ one must consider the set of Ideals of $S$. My problem is understanding if I perform this process correctly. So please can you build the lattice from the poset characterized by the following elements where $\leq$ is the classic set containment relation?
$$S = \{ \emptyset, \{1\}, \{2\}, \{3\}, \{4\}, \{1,2\}, \{3,4\}, \{1,2,3\}, \{2,3,4\}, \{1,2,3,4\} \}$$
More compactly:
$$S = \{ A, B, C, D, E, F, G, H, I, L \}$$
Thankyou
What I thought about
I thought about some possible answers, but do not know if my interpretation is correct.
Which one am I referring to?
Considering the presence of some definitions of Ideal here, let me clear that I made the following assumptions basing on the definitions that I found in the books I read.
Is it the power set?
Looking at the definition of ideal it seems that I must take all subsets of $S$ and, for every subset, in order to make it an ideal, I must take all subsets of $I$. So I will get the set of all Ideals. But this would be a power set of $S$ and I don`t think this is the set of all ideals of $S$.
Is it right what I am telling?
In Ideal definition "$I \subseteq S$ Ideal if $t \in I$ and $s \leq t$ implies that $s \in I$", $s$ is to be considered as elements in $S$?
If I consider a subset of $S$, I consider for example $t \in S$, $t = H = \{ 1,2,3 \}$. The condition tells me that I must consider all subsets in $H$? I guess not. It says that I should look for $s \leq t$. But, using the $\leq$ operator kinda implies that $s$ is an element in $S$ right? So, in my case, considering such $t$, I have to consider in my ideal also $\{1,2\}, \{1\}, \{2\}, \emptyset$.
Is this ok?
Addition
This question was edited changing the ideal definition with the one reported in Wikipedia. Lately I changed this question again reporting all definitions and their corresponding sources.
The point is that a different concept of Ideal is being formulated by the Wikipedia article while in some authoritative books other definitions (simpler) are considered. Changes in this question are made in order to discuss also about this other than the many purpose of the question (the problem I asked about).
A new question
The definition in Wikipedia adds a condition that I cannot see in most authoritative texts about combinatorial optimization. Please, explain me the equivalence with relations I provided, I cannot understand.