区間 (数学)
退化区間: 区間が退化しているとはただ一つの元からなる集合となっているときに言う。文献によっては、さらに空集合を退化区間の一種として含めることもある。
真の区間: 空でなく退化もしていない(=二つ以上の元を含む)実区間は真の (proper; 通常の) 区間と言い、無限個の元を含む。
区間 I の内部とは I に含まれる最大の開区間を言い、それはまた I の両端点を除く I の元全てからなる集合でもある。
区間 I の閉包とは I を含む最小の閉区間を言い、それはまた集合としての I に有限な端点を付け加えて得られる集合でもある。
実数からなる任意の集合 X に対して、X の区間包絡 (interval enclosure) または 区間包 (interval span) とは、X を含む区間であって、なおかつその区間には X を含むほかのどの区間も真に含まれることがないという条件を満たす唯一の区間を言う。