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