Malfermi la ĉefan menuon

Intervalo estas subaro de partorda aro kiu entenas ĉion inter komenco kaj fino (komenco kaj fino estas elektata elementoj de aro).

Formalaj difinojRedakti

Estu   partorda aro kaj estu   du objektoj ne entenas en  . Dilatu ordo   ĝis   tiel, por ke elemento   estis plej granda ol ĉiaj aliaj elementoj el aro  , kaj elemento   malplej granda ol ĉiaj aliaj elementoj de aro  .

Por   tiel, ke   oni difinas sekvajn aroj, kiuj nomas intervalo, kiuj estas difinata per  :

  •  malferma intervalo,
  •  maldekstra ferma intervalo (dekstra malferma intervalo),
  •  ferma intervalo (duobla ferma),
  •  dekstra ferma intervalo (maldekstra malferma ).

Kelkaj aŭtoroj uzas formon  ,   ktp. por signi, ke intervalo estas en difina ordo. Foje anstataŭ   oni skribas   kaj analogie por unuflankaj intervaloj.

Rimarku, ke signifo de intervalo   kaj   estas malsama al la signifo de orda duopo.

Internacia normo ISO31-11 difinas sekvajn signifojn:  :

  •   ,
  •   ,
  •   ,
  •   .

Uzato de punktokomo ĉu komo estas dependa manieron de signifo de dekuma bazo.

EcojRedakti

Plej ofte en intervalo estas uzata lineara ordo, do en ĉi tiu ordo intervalo havas sekvajn ecojn: