assert empty set size