语言
没有数据
通知
无通知
f(x2) で X での順序を定めると、X は全順序集合になる。 適当な順序数で添字付けられた全順序集合族のデカルト積は、その上に辞書式順序を入れることにより、それ自身全順序集合になる。例えば、アルファベット順に並べた任意の語の集合が全順序付けられることは、（スペースの記号をどの文字よりも小さいものとして
ゲーデルが証明したゲーデルの完全性定理は、一階述語論理が意味論的完全性の意味で完全であるとする。 同じくゲーデルが証明した有名な不完全性定理は、自然数論についてのある理論が後者の意味では完全ではなく、 完全であるように拡張することも（超越的な操作抜きには）できないことを示した。現在では、不完全性
左順序群の例は、実数直線上の順序を保つ同相として作用する群からたくさん作れる。実際、可算群に対してはこれが左順序性の特徴付けであることが知られている。例えば Ghys (2001) を参照。 巡回順序群（英語版） ハーン埋め込み定理（英語版） ^ ここで + を下付きにしたのは、通常は単位元も含めた正錐を上付きで
完全順列（かんぜんじゅんれつ、英: complete permutations）、もしくは攪乱順列（かくらんじゅんれつ、英: derangement）とは、整数 1, 2, 3, …, n を要素とする順列において、i 番目 (i ≦ n) が i でない順列である。順列を置換とみると、完全順列は不動点の個数が
数学の特に順序理論関連分野における有向完備半順序（ゆうこうかんびはんじゅんじょ、英: directed-complete partial order; dcpo）および ω-完備半順序（オメガかんびはんじゅんじょ、英: ω-complete partial order; ωcpo）あるいは単に
データ完全性（データかんぜんせい、英: Data integrity）は、情報処理や電気通信の分野で使われる用語であり、データが全て揃っていて欠損や不整合がないことを保証することを意味する。データインテグリティとも。すなわち、各種操作（転送、格納、検索）が行われる際にデータ
(1)必要な条件がすべて満たされていること。 欠点や不足が全くない・こと（さま）。
2-組（あるいは二つ組, couple）は特に対 (pair) または順序対 (ordered pair) という特別な呼称を持つ。 小さい n に対する n-組はしばしば、3-組を「三つ組」(triple)、4-組を「四つ組」(quadruple) などのように呼ぶこともある。
搜索 
