From 15645692644b01e27d6e0494ec28d5fdb3489c4b Mon Sep 17 00:00:00 2001
From: Jan Meyer <git@lolmerkat.cc>
Date: Sat, 7 Mar 2026 10:16:42 +0100
Subject: [PATCH] vault backup: 2026-03-07 10:16:42

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

diff --git a/DAS/Relations.md b/DAS/Relations.md
index be2c6b9..df4838e 100644
--- a/DAS/Relations.md
+++ b/DAS/Relations.md
@@ -45,5 +45,6 @@ A binary relation is a relation $R$ between _exactly two_ elements $a in R$ and
 An **Order** is a mathematical way to sort, rank or compare elements within a set, where some elements come "before" and "after" others.
 
 A _binary relation_ is called an order if it is...
-- a *reflexive relation*
-- a *antisymmetric relation*
+- [x] a *reflexive relation*
+- [x] a *antisymmetric relation*
+- [x] a *transitive relation*