Indexed unions and intersections of pointwise operations of sets #
This file contains lemmas on taking the union and intersection over pointwise algebraic operations on sets.
Tags #
set multiplication, set addition, pointwise addition, pointwise multiplication, pointwise subtraction