xR\forall x \in R