Category:Examples of Use of Union Distributes over Intersection