typeswitch on Nostr: This W contains *V by mapping each [(X₀ , X₁ , X₂ , ...)] to (the class of) the ...

This W contains *V by mapping each [(X₀ , X₁ , X₂ , ...)] to (the class of) the set of sequences [ X₀ × X₁ × X₂ × ... ] (up to a U-large set of indices). So that standard N maps to the [ N × N × N × ... ] and therefore contains both standard natural numbers (0,0,0,...), (1,1,1,...), (2,2,2,...), ... and nonstandard natural numbers (0,1,2,...), (1,2,3,...), (0,0,1,1,2,2,...).

7/