∀ x∈ R: x=x
∀ x,y∈R: (x=y ⇔y=x)
∀ x,y,z∈R: ((x=y ∧ y=z) ⇒ x=z)
∀ x∈R: x≤x
∀ x,y∈R: ((x≤y ∧ y≤x) ⇒ x=y)
∀ x,y,z∈R: ((x≤y ∧ y≤z) ⇒ x≤z)
∀ x,y∈R: (x≤y ∨ y≤x)
∀ x,y,z∈R: (x≤y ⇒ x+z≤y+z)
∀ x∈R ∧ y∈R ∧ z>0: (x≤y ⇒ x*z≤y*z)
∀ x,y,z,w∈R: ((x≤y ∧ z≤w) ⇒ x+z≤y+w)