Commutivity of intersection