The branch of mathematics or logic that is concerned with sets of objects and rules for their manipulation. UNION, INTERSECT and COMPLEMENT are its three primary operations and they are used in ...