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