theorem :: PBOOLE:5

for I being set
for i being object holds (EmptyMS I) . i = {} ;