From fc5bfdcfd00deaa1d2663a25a2d47f17c622b072 Mon Sep 17 00:00:00 2001
From: Jan Meyer <git@lolmerkat.cc>
Date: Mon, 9 Mar 2026 17:13:35 +0100
Subject: [PATCH] vault backup: 2026-03-09 17:13:35

---
 DAS/Relations.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/DAS/Relations.md b/DAS/Relations.md
index 3485571..9479d83 100644
--- a/DAS/Relations.md
+++ b/DAS/Relations.md
@@ -41,6 +41,9 @@ Each possible sum creates it's own equivalence class. So there are $7$ equivalen
 
 ## Binary Relation
 A binary relation is a relation $R$ between _exactly two_ elements $a in R$ and $b in R$. An example for a binary relation is $a <= b$
+
+## Converse Relation
+$C^top$ or $C^(-1)$ is the  
 ## Orders
 An **Order** is a mathematical way to sort, rank or compare elements within a set, where some elements come "before" and "after" others.