1 files changed, 27 insertions, 0 deletions
diff --git a/content/zettel/4b1.md b/content/zettel/4b1.md
new file mode 100644
index 0000000..093084d
--- /dev/null
+++ b/content/zettel/4b1.md
@@ -0,0 +1,27 @@
++++
+title = "Presburger Sets"
+author = "Yann Herklotz"
+tags = []
+categories = []
+backlinks = ["4b"]
+forwardlinks = ["4b2"]
+zettelid = "4b1"
++++
+
+These are sets that define relations on presburger numbers, meaning only
+addition is defined.
+
+For example:
+
+``` example
+x = { [i] : forall i, 0 <= i /\ i <= 10 }
+```
+
+Is actually an empty formula, because there is no instance where this is
+satisfied for all numbers. However, the following is defined:
+
+``` example
+x = { [i] : 0 <= i /\ i <= 10 }
+```
+
+And will be equal to the single tuples of numbers in the range (0,10).