Tolong jelaskan mengenai Definisi formal dari Bilangan kardinal

Secara formal, urutan di antara bilangan kardinal didefinisikan sebagai berikut: |X| ≤ |Y| berarti bahwa ada fungsi injektif dari X ke Y. Teorema Cantor–Bernstein–Schroeder menyatakan jika |X| ≤ |Y| dan |Y| ≤ |X| maka |X| = |Y|. Aksioma pilihan setara dengan pernyataan yang diberikan dua set X dan Y, baik |X| ≤ |Y| maupun |Y| ≤ |X|.