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*