Greater than or equal to

(Unknown grade)

This page is a stub

This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:

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 [ilmath]\mathbb{R} [/ilmath] (and thus [ilmath]\mathbb{Q} [/ilmath], [ilmath]\mathbb{Z} [/ilmath] and [ilmath]\mathbb{N} [/ilmath]).

---

TODO: Link with ordered integral domain (as that is where the ordering is induced)

---

Alternative forms

Epsilon form: [ilmath]x\ge y\iff\forall\epsilon>0[x+\epsilon>y][/ilmath]

---

Proof here

See also

• Less than or equal to
  • Strictly less than
• Strictly greater than