Well done (although it is still a useful binary category; numbers are either prime or composite, semiprimes be damned).
Indeed, but one of Eliezer's points was that mathematical objects, e.g. the set of prime numbers, don't need labels. I can write
without giving it a name at all, or just call it P.
Eliezer's writing style of A->B, then A, then B, though generally clear, results in a large amount of redundancy.
In this post, I have attempted to reduce the number of rules needed to remember by half. The numbers are the rules from the original post.
So, without further ado, a good definition for a word:
And there you go. 17 rules, follow them all and you can't use words wrongly.