I am trying to convert this description into set theoretic mathematical representation but I am having some trouble. Any help would be appreciated
S3: The set containing all pairs of natural numbers, i.e., 2-tuples like (a,b), such that the second element of the pair is twice the first.
I would write it as $$ \{(n,2n) \mid n \in \mathbb{N} \} $$