for X being set
for A, B being Subset of X holds Intersection (A followed_by B) = A /\ B