Lebih besar

Dalam 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.