For example, the real ordered field ⟨ℝ,+, ·, <,0,1⟩ is Leibnizian, since for any two distinct real numbers x < y, there is a rational number between them, and x has the property that , while y does not, and this property is expressible in the language of ordered fields.
