Category:Examples of Use of Intersection Distributes over Union