Raising

That is to say E a together ordered and F part of E , a raising ( resp. undervaluing ) F is an element X of E such as all the elements of F are lower ( resp. higher) than X .

Either \ (E, \ Leq) an ordered unit and F \ subseteq E, \ X \ in E is:

  • one undervaluing of \ F if \ forall there \ in F, X \ Leq there ;
  • one raising of \ F if \ forall there \ in F, there \ Leq X .

Vocabulary
  • If   F has one raising X   then it is said that   F is a raised left
  • If   F has one undervaluing X   then it is said that   F is an undervalued left

Examples

  • for the interval ] 0; 10 part of the whole of [[the Real number|real numbers] ordered by the usual order ≤: 10 and 11 are raising whereas 0 and -7 are undervaluing ,
  • does not have raising in \ mathbb {R} .

Related concepts

Random links:Syrphidae | Abbey of Melrose | Mount Torch | The KGB To file | County the Franklin one (Idaho) | Lac_Huron