\(\left(X,\preceq\right)\)があり、\(X\)の各元\(x\)に命題\(P\left(x\right)\)が与えられてるとする。X\right)\)が真である。\)に対し\(P\left(a\right)\)が真であるなら\(P\left(x\right)\)も真である。-の両方が成り立つならば、\(X\)の任意の元\(x\)について\(P\left(x\right)\)は真となる。X\)に対し\(P\left(x\right)\)は真となる。