union from {i = 0} to inf {A \[u2229] B}