Let and be two nonempty sets of integers. We say that and eventually coincide if there is an integer such that if and only if
for all . In this case, we write , noting that the relation of eventually coinciding is clearly an equivalence relation. While a seemingly trivial notation, this turns out to be the “right” notion of equivalence of sets when dealing with asymptotic properties such as density.
