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

https://arbital.com/p/547

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.