Category:Union Distributes over Union