View source for Greater than or equal to

{{Stub page|I made this page just so I could document the epsilon form}}
==Definition==
''Greater than or equal to'' is a [[relation]] (specifically a [[partial ordering]]) on {{M|\mathbb{R} }} (and thus {{M|\mathbb{Q} }}, {{M|\mathbb{Z} }} and {{M|\mathbb{N} }}).
{{Todo|Link with [[ordered integral domain]] (as that is where the ordering is induced) '''THE STRUCTURE ON {{M|\mathbb{R} }} IS VERY IMPORTANT. For example the epsilon form below requires addition, subtraction, so forth'''}}
==Alternative forms==
{{Begin Inline Theorem}}
'''[[Greater than or equal to/Epsilon form|Epsilon form]]:''' {{M|1=x\ge y\iff\forall\epsilon>0[x+\epsilon>y]}}
{{Begin Inline Proof}}
{{:Greater than or equal to/Epsilon form}}
{{End Proof}}{{End Theorem}}
==See also==
* [[Less than or equal to]]
** [[Strictly less than]]
* [[Strictly greater than]]
* [[Lower bound]]
** [[Infimum]]
* [[Upper bound]]
** [[Supremum]]

==References==
<references/>
{{Order theory navbox|plain}}
{{Relations navbox}}
{{Definition|Real Analysis|Elementary Set Theory|Order Theory}}