有界
有界（ゆうかい）は数学の用語であり、集合論で用いられる概念である。直感的にいえば、範囲の決まっている集合ということになろう。
定義
順序集合 X の空でない部分集合 A において、ある X の元 x があって、任意の A の元 a より大きいかまたは等しく (a ≤ x)、かつまたある X の元 y があって、任意の A の元 a より小さいかまたは等しい (y ≤ a) とき、A は有界であるという。 特に最初の場合を上に有界であるといい、後の場合を下に有界であるという。言い換えれば、ここより大きくはなく、ここより小さくはないという "ここ" がちゃんとあるということである。
他の概念（最大元、最小元、上限、下限、上界、下界など）との関係については、順序集合の項目を参照。
例
• 実数の開区間 (a, b) や閉区間 [a, b] は有界である。 • 実数全体は有界ではない；どんな数をとってきても、それより大きなものが存在する（アルキメデスの原理）。
