From cc30cad91901ad178bb8d76f6ac969c2a38f9fa1 Mon Sep 17 00:00:00 2001 From: Jan Meyer Date: Sat, 7 Mar 2026 13:52:35 +0100 Subject: [PATCH] vault backup: 2026-03-07 13:52:35 --- DAS/Relations.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/DAS/Relations.md b/DAS/Relations.md index 033c768..3485571 100644 --- a/DAS/Relations.md +++ b/DAS/Relations.md @@ -45,6 +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* -- [!] a *transitive relation* +- [?] a *reflexive relation* +- [?] a *antisymmetric relation* +- [?] a *transitive relation*