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

Result R4840 on D76: Set intersection
Subresult of R4839: Intersection distributes over countable union

Intersection distributes over finite union