Suppose we have a random subset of $\mathbb N$. My intuitive notion of randomness represents the ability to encode arbitrary real number.
Assume that $A$ is a random subset according to the above notion.
Does the existence of injective function from $A$ to set $S$ prove that $S$ is random? Is this notion or similar one is already known?