Aim To simplify the definition of R0-algebras.

• 摘要目的简化R0代数的定义。