for X being non empty set holds RAlgebra X is RealLinearSpace