From 78a308e79456b444131b4e27f544c48d8f1be3db Mon Sep 17 00:00:00 2001 From: Jan Meyer Date: Sat, 7 Mar 2026 10:36:30 +0100 Subject: [PATCH] vault backup: 2026-03-07 10:36:30 --- DAS/Relations.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/DAS/Relations.md b/DAS/Relations.md index df4838e..34ab49b 100644 --- a/DAS/Relations.md +++ b/DAS/Relations.md @@ -47,4 +47,4 @@ An **Order** is a mathematical way to sort, rank or compare elements within a se A _binary relation_ is called an order if it is... - [x] a *reflexive relation* - [x] a *antisymmetric relation* -- [x] a *transitive relation* +- [ ] a *transitive relation*