Michael wrote:

> I am not sure what exactly your interpretation of \\(x
\\(x < y\\) is always defined to mean \\(x \le y\\) _but not_ \\(x = y\\). So, once you know what \\(x \le y\\) means, you know what \\(x < y\\) means.