Upper bound

From Maths
Revision as of 07:23, 20 May 2016 by Alec (Talk | contribs) (Created page with "{{Stub page|grade=A*|msg=Needs fleshing out, a few references and a terminology section would be good}} __TOC__ ==Definition== Let {{M|(X,\preceq)}} be a poset and let {{M...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Stub grade: A*
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:
Needs fleshing out, a few references and a terminology section would be good

Definition

Let [ilmath](X,\preceq)[/ilmath] be a poset and let [ilmath]A\in\mathcal{P}(X)[/ilmath] be any subset of [ilmath]X[/ilmath]. An element [ilmath]b\in X[/ilmath] is an upper bound of [ilmath]A[/ilmath] if[1]:

  • [ilmath]\forall a\in A[a\preceq b][/ilmath].

Equivalently, a subset [ilmath]A\in\mathcal{P}(X)[/ilmath] has a upper bound if:

  • [ilmath]\exists b\in X\forall a\in A[a\preceq b][/ilmath] - "if there exists a upper bound."

Terminology


TODO: Things like "bounded above" and such


See also

References

  1. Lattice Theory: Foundation - George Grätzer