bitransitive

Etymology
en

Adjective

 * 1)  For a mapping F, given any two sets S1 and S2, F2(S1) has a nonzero intersection with S2.
 * 1)  For a mapping F, given any two sets S1 and S2, F2(S1) has a nonzero intersection with S2.
 * 1)  For a mapping F, given any two sets S1 and S2, F2(S1) has a nonzero intersection with S2.