ThmDex – An index of mathematical definitions, results, and conjectures.

Result R4452 on D77: Set union
Subresult of R4451: Symmetric difference of unions is subset of union of symmetric differences

Symmetric difference of countable unions is subset of union of symmetric differences