<=<は構成可能ではないかな？
∀x,y∈R:x<=<y|y<=<x
∀x,y,z∈R:x<=<y,y<=<z→x<=<z
∀x,y∈R:x<=<y,y<=x→x=y
{}≠∀x∈P(R),∃y∈x,∀z∈x:y<=<z
をandにしたものだから論理式で書ける
存在も特定もできないけれど
Cがあれば存在が言える