Let f: X→ X be a topologically transitive continuous map of a compact metric space X. We investigate whether f can have the following stronger properties: (i) for each m ∈ ℕ, $f\times f²\times \cdots \times f^m:X^m\to X^m$ is transitive, (ii) for each m ∈ ℕ, there exists x ∈ X such that the diagonal m-tuple (x,x,...,x) has a dense orbit in $X^m$ under the action of $f\times f²\times \cdots \times f^m$. We show that (i), (ii) and weak mixing are equivalent for minimal homeomorphisms, that all mixing interval maps satisfy (ii), and that there are mixing subshifts not satisfying (ii)....

We set up a general correspondence between algebraic properties of βℕ and sets defined by dynamical properties. In particular, we obtain a dynamical characterization of C-sets, i.e., sets satisfying the strong Central Sets Theorem. As an application, we show that Rado systems are solvable in C-sets.