From 65e5a741655d8339ad5763e365ea2addd2e96e51 Mon Sep 17 00:00:00 2001
From: Simon-Kor <52245124+Simon-Kor@users.noreply.github.com>
Date: Fri, 9 Aug 2024 15:15:49 +0200
Subject: put cardinalit to the right place

---
 library/cardinal.tex | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'library/cardinal.tex')

diff --git a/library/cardinal.tex b/library/cardinal.tex
index d0dec59..8691b30 100644
--- a/library/cardinal.tex
+++ b/library/cardinal.tex
@@ -3,6 +3,7 @@
 \import{set.tex}
 \import{ordinal.tex}
 \import{function.tex}
+\import{numbers.tex}
 
 \begin{definition}\label{finite}
     $X$ is finite iff there exists a natural number $k$ such that
@@ -12,3 +13,8 @@
 \begin{abbreviation}\label{infinite}
     $X$ is infinite iff $X$ is not finite.
 \end{abbreviation}
+
+\begin{definition}\label{cardinality}
+    $X$ has cardinality $k$ iff $k$ is a natural number and 
+    there exists a bijection from $k$ to $X$.
+\end{definition}
-- 
cgit v1.2.3