User blog comment:Superman37891/Explain Rayo please/@comment-5529393-20170622014520/@comment-30754445-20170622120707

Actually, I still have one question. Two, actually.

Both can be summed-up with a single example:

Say we have a statement which can be satisfied by both x1={0,1,2,3,4} and x1={0,7}.

Is such a statement a Rayo-name for 5? For 8? For niether?

I'm pretty sure the condensed formal definition in the "Rayo" articles addresses this, but I can't really make heads or tails of it.