diff --git a/data/penrose/set.domain b/data/penrose/set.domain
new file mode 100644
index 0000000..33d1bb8
--- /dev/null
+++ b/data/penrose/set.domain
@@ -0,0 +1,3 @@
+type Set
+
+predicate SubSet(Set s1, Set s2)
diff --git a/data/penrose/set.style b/data/penrose/set.style
new file mode 100644
index 0000000..d474111
--- /dev/null
+++ b/data/penrose/set.style
@@ -0,0 +1,17 @@
+canvas {
+    width = 100
+    height = 100
+}
+
+forall Set A; Set B
+where SubSet(A, B) {
+    ensure contains(A.icon, B.icon, 5.0)
+    A.icon above B.icon
+}
+
+forall Set x {
+    x.icon = Circle {
+        strokeWidth : 0.0
+    }
+    ensure x.icon.r > 25
+}