Let ">" be an asymmetrical two-place predicate such that a is the "predecessor" of b, and b>a is false for ">", if {a, b, c, ...} form a well-ordered set.

Let P1 and P2 be any arbitrary sets on L.

⊦⌜ a>b⌝ & [a∈P1 & b∈P2 ] ⊃ ⌜P1>P2⌝