"setR" notation