[FOM] Equivalence relation on sets of natural numbers

weinert at math.uni-bonn.de weinert at math.uni-bonn.de
Tue Sep 11 21:35:58 EDT 2012

Dear Tim!

If I am not mistaken this is known as the E_0 equivalence relation. See,
for example
, page 14.

Best regards,

> 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

More information about the FOM mailing list