Skip to content

Commit

Permalink
Add "ordered pair"
Browse files Browse the repository at this point in the history
  • Loading branch information
Lipen committed Sep 15, 2024
1 parent b22c8dc commit 94f6916
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion hw1.tex
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 94f6916

Please sign in to comment.