From f3672e0869339d91870e203d645337f2ce2cc8b8 Mon Sep 17 00:00:00 2001 From: Grigoriy Beziuk Date: Sun, 3 Mar 2024 15:44:10 +0300 Subject: [PATCH] Typo fix in 04_order.md --- _chapters/04_order.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_chapters/04_order.md b/_chapters/04_order.md index e340d40..d7b161a 100644 --- a/_chapters/04_order.md +++ b/_chapters/04_order.md @@ -10,7 +10,7 @@ Given a set of objects, there can be numerous criteria, based on which to order However, currently we are not interested in the *criteria* that we can use to order objects, but in the *nature of the relationships* that define order. Of which there can be several types as well. -Mathematically, the order as a construct is represented (much like a monoid) by two two components. +Mathematically, the order as a construct is represented (much like a monoid) by two components. One is a *set of things* (e.g. colorful balls) which we sometimes call the order's *underlying set*.