半順序とは？
はんじゅんじょ
反射・反対称・推移の三条件を満たす二項関係で、比較できない元が存在してもよい順序だよ。
半順序とは、ものを「大きい・小さい（≤）」と並べるときに「自分は自分以上」「AがB以上でBがA以上ならA=B」「AがB以上でBがC以上ならAがC以上」の三つのルールを満たす関係のことだよ。すべての要素を比べられるとは限らないのが特徴だよ。
つかいかた・れいぶん
本の「参照関係」（AがBを引用）は半順序の一例で、互いに参照し合わない本同士は比べられないよ。
このことばを シェア
さいごの こうしん: