Supremum and Infimum are Unique