查看“三分律”的源代码

{{NoteTA
|T = zh-cn:三分律; zh-tw:三一律 (數學);
|G1 = Math
}}
在[[数学]]中，'''三分律'''（或公理）是对任何（实）数 ''x'' 和 ''y'' 下列关系中精确的一个成立的最一般的陈述：
:<math>x<y</math>
:<math>x=y</math>
:<math>x>y</math>

如果应用于[[基数 (数学)|基数]]，三分律等价于[[选择公理]]。

在[[整环|有序整环]]或[[有序域]]的定义中，有着 ''y'' = 0 的三分律通常被接受为比[[全序关系|全序]]律更加基本，这里的 0 是整环或域的零。

在[[集合论]]中，三分法最经常被定义为[[二元关系]] &lt; 所拥有的一个性质，在所有它的成员 ''<x,y>'' 精确的满足上述关系之一的时候。[[不等式|严格不等于]]是在这个意义上的三分关系的一个例子。在这个意义上的三分关系是[[自反关系|反自反]]的和[[反对称关系|反对称]]的。

[[Category:序理论|S]]