b'\n_START_ARTICLE_\nLebih besar\n_START_SECTION_\nKata pembanding Lebih Besar dalam matematika\n_START_PARAGRAPH_\nKonsep \'lebih besar\' antara dua bilangan cacah gampang dimengerti oleh seorang awam, bahkan oleh seorang anak kecil sekalipun. Tetapi banyak yang tidak mengetahui atau pernah mendengar salah satu definisi dari konsep \'lebih besar\' ini._NEWLINE_Berikut adalah sebuah ilustrasi pendefinisiam konsep \'lebih besar\' antara dua bilangan cacah secara matematis.\n_START_SECTION_\nProses Deduktif Membuat Definisi\n_START_PARAGRAPH_\nDalam matematika suatu definisi baru seringkali berpedoman dari satu atau lebih definisi-definisi atau dalil-dalil (teorema-teorema) yang sudah ada dan sudah terdefinisi (atau sudah terbukti) lebih dulu. Misalnya pendefinisian kata \'lebih besar\' bisa diturunkan dari definisi-definisi lama, misalnya dari definisi \'himpunan\', dari definisi \'himpunan tak hingga\', dari definisi \'himpunan terurut\' (ordered set). dsb._NEWLINE_Perlu diketahui bahwa dalam bahasa sehari-hari, penggunaan \'lebih besar\' agak rancu. Misalnya dalam kalimat_NEWLINE_"Badan si A lebih besar dari badan si B"_NEWLINE_dua hal yg dibandingkan oleh kata \'lebih besar\' tidak jelas. Mungkin mayoritas pembaca akan mengira bahwa kata \'lebih besar\' dalam kalimat di atas digunakan untuk membandingkan antara besar atau berat dua benda padat (badan orang). Padahal yang dibandingkan adalah bilangan yang menyatakan berat atau besar badan si A dan si B._NEWLINE_Untuk menghindari definisi matematis formal yg terlalu mendalam (yg memerlukan konsep pemetaan atau fungsi, khususnya konsep isomorfisma antara dua himpunan yg berukuran sama), di sini diberikan penjelasan secara gampang dan seringkas mungkin bagaimana kata \'lebih besar\' sebagai pembanding dua bilangan cacah didefinisikan secara deduktif, diawali dari pendefinisian bilangan cacah.\n_START_SECTION_\nDefinisi Bilangan Cacah Yang Berbasis Definisi Himpunan Hingga\n_START_PARAGRAPH_\nKarena definisi ini dibangun melalui teori himpunan, maka harus diasumsikan lebih dahulu keberadaan himpunan hingga (Inggris: finite set) dan berlakunya berbagai konsep lain yang menyertainya, misalnya konsep himpunan bagian (Inggris: subset), konsep inklusi antara dua himpunan, dsb._NEWLINE_Suatu bilangan cacah bisa didefinisikan oleh suatu kelas ekuivalensi berisi sekumpulan himpunan-himpunan yang berhingga dan yang berukuran sama. Pada khususnya kelas ekuivalensi yg memuat himpunan kosong menyatakan bilangan nol dan para matematikawan di dunia sepakat untuk menulis bilangan cacah ini dengan lambang_NEWLINE__NEWLINE_                         0._NEWLINE_Sedangkan kelas ekuivalensi yg memuat kedua himpunan_NEWLINE__NEWLINE_                     {a, x, y} _NEWLINE_dan himpunan_NEWLINE__NEWLINE_               {ayam, bebek, kecoa}_NEWLINE_mendefinisikan sebuah bilangan cacah yang biasanya secara tertulis diberi lambang_NEWLINE__NEWLINE_                         3. _NEWLINE_Kedua himpunan {a, x, y} dan {ayam, bebek, kecoa} yang mewakili kelas ekuivalensi tersebut kita katakan berukuran 3.\n_START_SECTION_\nDefinisi \'Lebih Besar\' Yang Berbasis Himpunan Bilangan Cacah\n_START_PARAGRAPH_\nBilangan cacah b didefinisikan lebih besar dari bilangan cacah a jika ada himpunan A yg berukuran a dan himpunan B yg berukuran b sedemkikan rupa sehingga A termuat dalam B. Perhatikan, kata \'termuat\' sebenarnya harus didefinisikan dengan menggunakan relasi inklusi._NEWLINE_Untuk setiap pasang bilangan cacah a dan b yg berbeda, a dikatakan lebih kecil dari b jika dan hanya jika b lebih besar daripada a. Karena himpunan kosong termuat dalam setiap himpunan lain, maka 0 lebih kecil dari bilangan cacah lainnya._NEWLINE_Definisi lebih besar atau lebih kecil untuk jenis bilangan-bilangan lain yang bukan bilangan cacah memerlukan pengetahuan matematika yg cukup mendalam.'