Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::order::IsDirectedPoset Concept Referenceexport
module dedekind.order

The "Convergent Identity": A Poset that is also a Directed Set. More...

Concept definition

template<typename T, typename L Boole>
concept dedekind::order::IsDirectedPoset = IsPartiallyOrdered<T, L> && IsDirectedSet<T, L>
dedekind::order::IsDirectedPoset
The "Convergent Identity": A Poset that is also a Directed Set.
Definition poset.cppm:93
dedekind::order::IsDirectedSet
A Pre-ordered structure where any two elements have a common successor.
Definition poset.cppm:73
dedekind::order::IsPartiallyOrdered
A refinement of the Pre-Order that satisfies Antisymmetry (Identity).
Definition poset.cppm:82

Detailed Description

The "Convergent Identity": A Poset that is also a Directed Set.