From 94f69164e6f01cbd538aa2d4cf0db0f17d4c0724 Mon Sep 17 00:00:00 2001 From: Konstantin Chukharev Date: Sun, 15 Sep 2024 10:47:45 +0300 Subject: [PATCH] Add "ordered pair" --- hw1.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hw1.tex b/hw1.tex index f7856b3..3d2c06e 100644 --- a/hw1.tex +++ b/hw1.tex @@ -192,7 +192,7 @@ \item Если $A \subseteq B$ и $B \subseteq C$, то $A \subseteq C$. \item $\card{\powerset{A}} = 2^{\card{A}}$. \item $\card{\Complex} = \card{\Real}$, то есть множества комплексных и действительных чисел равномощны. - \item $\Pair{a,b} = \Pair{c,d} \iff (a = c) \land (b = d)$ при использовании определения пары по Куратовскому: $\Pair{x, y}_K = \Set{\Set{x}, \Set{x, y}}$. + \item $\Pair{a,b} = \Pair{c,d} \iff (a = c) \land (b = d)$ при использовании определения упорядоченной пары по Куратовскому: $\Pair{x, y}_K = \Set{\Set{x}, \Set{x, y}}$. \end{subtasks} % \item \ldots