R↑ の定義は?