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