bitransitive (transitive + bi-; two)
For a mapping F, given any two sets S₁ and S₂, F²(S₁) has a nonzero intersection with S₂