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

---
 DAS/Relations.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/DAS/Relations.md b/DAS/Relations.md
index 9479d83..321f038 100644
--- a/DAS/Relations.md
+++ b/DAS/Relations.md
@@ -43,7 +43,7 @@ Each possible sum creates it's own equivalence class. So there are $7$ equivalen
 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  
+$C^top$ or $C^(-1)$ is the relation that occurs if the elements of a _binary relation_ are switched.
 ## Orders
 An **Order** is a mathematical way to sort, rank or compare elements within a set, where some elements come "before" and "after" others.