数学において集合が有界（ゆうかい、）である、または有界集合（ゆうかいしゅうごう、）であるとは、ある種の「差渡しの大きさ」に関する有限性をそれが持つときにいう。有界でない集合は非有界（ひゆうかい、）であるという。順序集合 ("X

出典:wikipedia