 Countable union

The union of a sequence of sets: an element belongs to it exactly when it belongs to at least one $A_n$.