Union of Set of Sets is Empty iff Sets are Empty