三一律 (數學)

數學中,三分律(或公理)是對任何(實)數 xy 下列關係中精確的一個成立的最一般的陳述:

如果應用於基數,三分律等價於選擇公理

有序整環有序域的定義中,有着 y = 0 的三分律通常被接受為比全序律更加基本,這裡的 0 是整環或域的零。

集合論中,三分法最經常被定義為二元關係 < 所擁有的一個性質,在所有它的成員 <x,y> 精確的滿足上述關係之一的時候。嚴格不等於是在這個意義上的三分關係的一個例子。在這個意義上的三分關係是反自反的和反對稱的。