"The word "binary predicate" I got from [Wikiped..."


by Joe Zeng Jul 5 2016

The word "binary predicate" I got from Wikipedia's article on ordered fields, but it looks like it redirects to "binary relation" anyway, so I'll change that.

And "comparison operator" is the terminology in computer science (or at least the one commonly used in programming languages); I wasn't aware that the operator was called an "order" in mathematics in general.