[FOM] Equivalence relation on sets of natural numbers

[weinert at math.uni-bonn.de]

Dear Tim!

If I am not mistaken this is known as the E_0 equivalence relation. See,
for example
http://arxiv.org/pdf/math/0610988.pdf
, page 14.

Best regards,
Thilo


> I want to declare that two sets of natural numbers are equivalent if their
> symmetric difference is finite.
>
> Is there a standard term for the resulting family of equivalence classes,
> or for the equivalence relation?  I feel like I've seen this somewhere
> before but I can't recall where.
>
> Tim
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>