Tolong jelaskan mengenai Definisi formal dari Infimum dan supremum

Batas bawah himpunan bagian  dari himpunan terurut parsial  merupakan suatu anggota  dari  sehingga  untuk semua  dalam . Batas bawah  dari  disebut infimum  jika untuk semua batas bawah  dari  di , maka , dalam artian bahwa  lebih besar dari atau sama dengan setiap batas bawah lainnya.

Dengan definisi yang serupa, batas atas himpunan bagian  dari himpunan terurut parsial  merupakan suatu anggota  dari  sehingga , untuk semua  dalam . Batas atas  dari  disebut supremum dari  jika untuk semua batas atas  pada  dalam , maka , dalam artian bahwa  lebih kecil daripada atau sama dengan setiap batas atas lainnya.