[FOM] slip in previous post

[Randall Holmes]

Dear FOMers,

Of course one needs a _one-to-one_ relation with range properly included
in its domain to be able to define a model of arithmetic in second-order
logic; I was being oblique in an attempt to speak the language of properties
and relations as much as possible instead of that of sets, and wrote
the wrong thing (I think that I only said that it was a function rather
than an injection)...

--Randall Holmes