Hreiðruð bil

Hreiðruð bil á rauntalnalínunni er runa af bilum sem eru hreiðruð innan í hvoru öðru.

Ef að $I_{1},I_{2},...$ eru lokuð bil, og $I_{1}\supset I_{2}\supset ...$, þá er gildir skv. setningunni um hreiðruð bil, sem Bernard Bolzano sannaði fyrstur, að

$\bigcap _{i=1}^{\infty }I_{i}\neq \emptyset$

Þetta er sértilfelli af reglu um hreiðruð mengi, þar sem að bil eru mengi.

  Þessi stærðfræðigrein er stubbur. Þú getur hjálpað til með því að bæta við greinina.