ブルバキ・ヴィットの定理
数学においてブルバキ・ヴィットの定理（ブルバキ・ヴィットのていり、）は、半順序集合に関する基本的な不動点定理であり、ニコラ・ブルバキとエルンスト・ヴィットの名に因む。この定理は、formula_1 が空でない半順序集合であって、任意の全順序部分集合に上限が存在するとき、
が
を満たせば、 は不動点を持つことを述べている。