加载中…
Let be a union-closed family of sets with base set denoted by , and for any real , let . Also, denote by any smallest irredundant subfamily of such that . We prove that if is separating with height and , then the average size of a member set from is at least . We show that is greatest possible with respect to this result, and conclude by considering the remaining domain .

生成讲解博客的中文版本

生成AI智能校验的中文版本