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

The topological "Soul" of the Continuum (LUB property). More...

Concept definition

template<typename S>
concept dedekind::order::IsDedekindComplete =
IsTotallyOrdered<S> && IsDense<S> && dedekind::category::HasExtrema<S>
dedekind::category::HasExtrema
Structural requirement for Dedekind completeness witnesses.
Definition mereology.cppm:1048
dedekind::order::IsDedekindComplete
The topological "Soul" of the Continuum (LUB property).
Definition completeness.cppm:129
dedekind::order::IsDense
A property where a midpoint always exists (a < c < b).
Definition completeness.cppm:109
dedekind::order::IsTotallyOrdered
A refinement where every pair is comparable (The Chain).
Definition total.cppm:63

Detailed Description

The topological "Soul" of the Continuum (LUB property).