In order theory, a continuous poset is a partially ordered set in which every element is the directed supremum of elements approximating it. Let a , b...
7 KB (1,156 words) - 02:32, 8 October 2022
Glossary of order theory (redirect from Interval finite poset)
elements x, y of X, at least one of x R y or y R x holds. Continuous poset. A poset is continuous if it has a base, i.e. a subset B of P such that every...
29 KB (4,210 words) - 23:05, 23 April 2023
In mathematics, a continuous function is a function such that a small variation of the argument induces a small variation of the value of the function...
60 KB (9,404 words) - 23:34, 13 August 2024
branch of mathematics that studies special kinds of partially ordered sets (posets) commonly called domains. Consequently, domain theory can be considered...
19 KB (2,657 words) - 01:32, 14 July 2024
Complete partial order (redirect from Complete poset)
basis is also called a continuous ω-cpo (or continuous dcpo). Note that complete partial order is never used to mean a poset in which all subsets have...
12 KB (1,462 words) - 22:10, 1 September 2024
of a poset for obtaining these directed sets, then the poset is even algebraic. Both concepts can be applied to lattices as follows: A continuous lattice...
40 KB (5,663 words) - 17:53, 6 June 2024
Dedekind completion Ideal completion Way-below relation Continuous poset Continuous lattice Algebraic poset Scott domain Algebraic lattice Scott information...
5 KB (396 words) - 12:14, 30 October 2023
Order theory (section Visualizing a poset)
(transitivity). A set with a partial order on it is called a partially ordered set, poset, or just ordered set if the intended meaning is clear. By checking these...
31 KB (4,508 words) - 03:55, 24 August 2024
Scott continuity (redirect from Scott-continuous)
directed join. When Q {\displaystyle Q} is the poset of truth values, i.e. Sierpiński space, then Scott-continuous functions are characteristic functions of...
6 KB (753 words) - 09:40, 6 January 2024
Continuity (redirect from Continuous)
functions between topological spaces Scott continuity, for functions between posets Continuity (set theory), for functions between ordinals Continuity (category...
3 KB (347 words) - 07:07, 27 August 2024