Hreiðruð bil

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

Ef að  eru lokuð bil, og , þá er gildir skv. setningunni um hreiðruð bil, sem Bernard Bolzano sannaði fyrstur, að 

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

Flokkur:Stærðfræði