theorem Th4: :: MSUALG_9:4

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