theorem :: MBOOLEAN:2

for I being set holds bool (EmptyMS I) = I --> {{}}