let
X
be
set
;
:: thesis:
{
{}
}
is
Subset-Family
of
X
{}
c=
X
;
hence
{
{}
}
is
Subset-Family
of
X
by
ZFMISC_1:31
;
:: thesis:
verum