, then identify two sequences whenever they have equal values on positions that form a member of the ultrafilter (this requires that they agree on infinitely many positions, but the condition is stronger than this as ultrafilters resemble axiom-of-choice-like maximal extensions of the Fréchet filter). The resulting semiring is a non-standard model of arithmetic. It can be identified with the hypernatural numbers.

Structure of countable non-standard models