theorem :: ENS_1:30

for V being non empty set
for a being Object of (Ens V) st a = {} holds
a is initial