User blog comment:Alemagno12/Divine Presence/@comment-1605058-20170201103530/@comment-25601061-20170201180120

Also, what are [1] and [2] in the definition of RO?

Go learn BAHN.

And PsiCubed is correct on the definition of R.