Let E⊂RE⊂R be nonempty.
the set EE is said to be bounded below if and only if there is an m∈Rm∈R such that a≥ma≥m for all a∈Ea∈E, in which case mm is called a lower bound of the set EE.A number tt is called an infimum of the set EE if and only if tt is a lower bound of EE and t≥mt≥m for all lower bounds mm of EE. In this case we shall say that EE has an infimum tt and write t=infE