Infimum dan supremum

Dalam matematika, infimum himpunan bagian dari himpunan terurut parsial adalah anggota terbesar dalam , yang lebih kecil dari atau sama dengan tiap-tiap anggota , jika ada satu buah anggota. Berdasarkan pengertian tersebut, infimum disebut batas bawah terbesar, dan istilah itu umum digunakan. Infimum disingkat sebagai "inf". Di sisi lain, supremum himpunan bagian dari himpunan terurut parsial adalah anggota terkecil dalam yang lebih kecil dari atau sama dengan tiap-tiap anggota , jika terdapat anggotanya. Berdasarkan pengertian lagi, supremum juga disebut sebagai batas atas terkecil. Supremum disingkat sebagai "sup".