Necessary conditions for non-intersection of collections of sets. (2nd January 2022)