From b50b93ad2a5c862ea3ec91af65cac5198ab6cbad Mon Sep 17 00:00:00 2001
From: hardroadcrush <130765493+hardroadcrush@users.noreply.github.com>
Date: Wed, 1 Apr 2026 21:41:17 -0900
Subject: [PATCH 1/2] Update sidenote-levels-of-understanding.html
slight changes for more clarity
---
tutorials/online/sidenote-levels-of-understanding.html | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/tutorials/online/sidenote-levels-of-understanding.html b/tutorials/online/sidenote-levels-of-understanding.html
index ee61567..326ecfe 100644
--- a/tutorials/online/sidenote-levels-of-understanding.html
+++ b/tutorials/online/sidenote-levels-of-understanding.html
@@ -7,7 +7,7 @@
How to think about an Alloy model: 3 levels
-There are three basic levels of abstraction at which you can read an
+There are three basic levels of abstraction at which you can understand an
Alloy model.
- The highest level of abstraction is the OO paradigm. This level
@@ -24,8 +24,8 @@
How to think about an Alloy model: 3 levels
- Consider the following excerpt. A signature sig
- S, extending E, has a field
+
Consider the following excerpt. A signature
+ S, extending signature E, has a field
F of type T.
@@ -49,6 +49,7 @@ How to think about an Alloy model: 3 levels
T
- s is an instance of S
- . accesses a field
+ so
- s.F returns something of type T
From 78d434c13254e97dbc04a669c2e3b63c30657576 Mon Sep 17 00:00:00 2001
From: hardroadcrush <130765493+hardroadcrush@users.noreply.github.com>
Date: Wed, 1 Apr 2026 21:49:32 -0900
Subject: [PATCH 2/2] Update sidenote-levels-of-understanding.html
The 'set theory' level of understanding is added
---
.../sidenote-levels-of-understanding.html | 17 ++++++++++++++++-
1 file changed, 16 insertions(+), 1 deletion(-)
diff --git a/tutorials/online/sidenote-levels-of-understanding.html b/tutorials/online/sidenote-levels-of-understanding.html
index 326ecfe..7e86fc7 100644
--- a/tutorials/online/sidenote-levels-of-understanding.html
+++ b/tutorials/online/sidenote-levels-of-understanding.html
@@ -52,7 +52,22 @@ How to think about an Alloy model: 3 levels
so
s.F returns something of type T
-
+
+ The way to understand it in terms of set theory is as follows:
+ S is a set containing elements of a particular type
+ E is also a set containing elements of a particular type
+ F is a set that contains tuples of (S1->E1) where
+ S1 is an element from set S,
+ E1 is an element from set E,
+ -> is the relational operator
+
+ Think of the dot operator now in terms of sets;
+ S1.F would result in S1 being matched with every tuple in F and
+ the resulting set would contain only the elements of type T that
+ are related to S1.
+
+
+
The fragment can be safely read as being about sets, elements, and