Self-dual set family
= Self-dual set family
A <self-dual set family> on $[n]$ contains exactly one of $A,A^c$ for every subset $A$. Its relative proportions $a_j$ in complementary uniform levels satisfy $a_{n-j}=1-a_j$. In particular its measure under a uniform random subset is $1/2$.