for Y being non empty set holds ERl (%O Y) = nabla Y