Rast ' notion idet