The 'equality' [[Relation]] between two [[Real Numbers]] $a, b\in \R$ can be formally stated as [[Universal Quantifier|for any]] $\epsilon \in R$ where $\epsilon>0$, $|a-b|<\epsilon$. $\huge a = b \iff |a-b|< \epsilon \,\forall \epsilon <0,\epsilon \in \R $