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

A Pre-ordered structure where any two elements have a common successor. More...

Concept definition

template<typename D, typename L Boole, typename Join Sup>
concept dedekind::order::IsDirectedSet =
IsPreOrdered<D, L> &&
dedekind::category::IsCertifiedOrderJoinSemilattice<D, Join>
dedekind::category::IsCertifiedOrderJoinSemilattice
Trait-certified join-semilattice (associative + idempotent + commutative).
Definition posetal.cppm:161
dedekind::order::IsDirectedSet
A Pre-ordered structure where any two elements have a common successor.
Definition poset.cppm:73
dedekind::order::IsPreOrdered
The most basic relation: Reflexive and Transitive.
Definition poset.cppm:58

Detailed Description

A Pre-ordered structure where any two elements have a common successor.

Synthesized via the order Join-Semilattice (posetal IsCertifiedOrderJoinSemilattice<D, Join>). The Join parameter defaults to Sup but can be overridden to model directed sets under a different certified join operation. This is the "Ground" for all Nets and Sequences.