Majoranta M skupa A, koji ima osobinu da je za svaku drugu majorantu b skupa A, M<=b, zove se supremum (gornja međa) skupa A, piše se M=sup A.[supremum]