全順序
数学における全順序（ぜんじゅんじょ、）とは、集合での二項関係で、推移律、反対称律かつ完全律の全てを満たすもののことである。
単純順序（たんじゅんじゅんじょ、）、線型順序（せんけいじゅんじょ、）とも呼ばれる。
集合と全順序を組にしたものは、全順序集合 ("totally ordered set"), 線型順序集合 ("linearly ordered set"), 単純順序集合 ("simply ordered set") あるいは鎖 ("chain") と呼ばれる。
即ち、集合 が関係 による全順序をもつとは、 の任意の元 に対して、次の3条件を満たすことである：
反対称性によって かつ であるという不確定な状態は排除される。完全性を持つ関係は、その集合の任意の二元がその関係でであることを意味する。これはまた、元を直線に並べた図式によってその集合が表せるということでもあり、それは「線型」順序の名の由来である。また完全性から反射性 () が出るから、全順序は半順序の公理を満たす。半順序は（完全性の代わりに反射性のみが課されるという意味で）全順序よりも弱い条件である。与えられた半順序を拡張して全順序をえることは、半順序のと呼ばれる。