theorem Th3: :: MSUALG_9:3

for I being set holds Class (nabla I) c= {I}