Difference between revisions of "Greater than or equal to"

From Maths
Jump to: navigation, search
(Created page with "{{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...")
(No difference)

Revision as of 14:33, 9 April 2016

(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

References