1 files changed, 35 insertions, 0 deletions
diff --git a/docs/chapter02/02-lattice.gv b/docs/chapter02/02-lattice.gv
new file mode 100644
index 00000000..4faa0e11
--- /dev/null
+++ b/docs/chapter02/02-lattice.gv
@@ -0,0 +1,35 @@
+digraph Lattice {
+    // Define nodes
+    node [shape=circle, style=filled, fillcolor=lightblue];
+    Top [label="⊤"];
+    Bottom [label="⊥"];
+
+    A [label="MIN_INT"];
+    B [label="..." shape=none style=none];
+    C [label="-1"];
+    D [label="0"];
+    E [label="1"];
+    F [label="..." shape=none style=none];
+    G [label="MAX_INT"];
+
+
+    // Define edges
+    Top -> A [arrowhead=none];
+    Top -> B [arrowhead=none];
+    Top -> C [arrowhead=none];
+    Top -> D [arrowhead=none];
+    Top -> E [arrowhead=none];
+    Top -> F [arrowhead=none];
+    Top -> G [arrowhead=none];
+    A -> Bottom [arrowhead=none];
+    B -> Bottom [arrowhead=none];
+    C -> Bottom [arrowhead=none];
+    D -> Bottom [arrowhead=none];
+    E -> Bottom [arrowhead=none];
+    F -> Bottom [arrowhead=none];
+    G -> Bottom [arrowhead=none];
+
+    // Additional customization
+    {rank=same; A; B; C; D; E; F; G; }
+    {rank=same; Bottom;}
+}