dedekind::sets::WellFounded Concept Reference

A carrier a descent terminates on: the unsigned words, ℕ's shadows, with 0 at the bottom. (Cardinality joins once its monus is a term.). More...

Concept definition

template<typename T>
concept dedekind::sets::WellFounded =  std::unsigned_integral<T>

Detailed Description

A carrier a descent terminates on: the unsigned words, ℕ's shadows, with 0 at the bottom. (Cardinality joins once its monus is a term.).