Upper section

From Maths
Jump to: navigation, search
(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:
Needs fleshing out
(Unknown grade)
This page requires references, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable, it just means that the author of the page doesn't have a book to hand, or remember the book to find it, which would have been a suitable reference.
The message provided is:
This may sometimes be called an upper set, according to wikipedia, however I am dealing with presets not posets here, so upper set might only be for posets, and upper section for presets, or both. Not sure needs investigation


An upper section of a preset [ilmath](A,\preceq)[/ilmath] is a subset, [ilmath]U\subseteq A[/ilmath] with the following property[1]:

  • [ilmath]\forall a,b\in A[(a\in U\wedge a\preceq b)\implies b\in U][/ilmath], that is:
    • Given an [ilmath]a[/ilmath] and [ilmath]b[/ilmath] in [ilmath]A[/ilmath], if [ilmath]a[/ilmath] is in [ilmath]U[/ilmath] and [ilmath]a\preceq b[/ilmath] then we require [ilmath]b\in U[/ilmath]

See also


  1. An Introduction to Category Theory - Harold Simmons - 1st September 2010 edition