diff --git a/assets/proper-subset.png b/assets/proper-subset.png
new file mode 100644
index 000000000..d1c84df01
Binary files /dev/null and b/assets/proper-subset.png differ
diff --git a/journal/2021-04-14.md b/journal/2021-04-14.md
index b6c646d76..57f209a6c 100644
--- a/journal/2021-04-14.md
+++ b/journal/2021-04-14.md
@@ -1,3 +1,4 @@
 # 2021-04-14
 
-- [[patterning reading group]]
\ No newline at end of file
+- [[patterning reading group]]
+- [[proper subset]]
\ No newline at end of file
diff --git a/proper-subset.md b/proper-subset.md
new file mode 100644
index 000000000..2128a11e3
--- /dev/null
+++ b/proper-subset.md
@@ -0,0 +1,3 @@
+# proper subset
+
+- S1 is a proper subset of S2 [[iif]] S2 has some items which aren't in S1. That is, they are not equal.