Supremum And Infimum Theorems