The union-closed sets conjecture states that if a finite family of sets A 6 = {∅} is union-closed, then there is an element which belongs to at least half the sets in A. In 2001, D. Reimer showed that the average set size of a union-closed family, A, is at least 1 2 log2 |A|. In order to do so, he showed that all union-closed families satisfy a particular condition, which in turn implies the pr...