A decidable set object over a finite chain with the covering step: a leaf or a lattice node whose χ answers in \(\mathbb{B}\) (the Δ grade). An L-valued set enters through its α-cuts. More...

Concept definition

template<typename S>
concept dedekind::sequences::IsPstSet = 
    dedekind::sets::IsSetObject<S> && HasDecidableMembership<S> &&
    IsFiniteChain<typename std::remove_cvref_t<S>::Domain> &&
    HasNNOStep<typename std::remove_cvref_t<S>::Domain>

Detailed Description

A decidable set object over a finite chain with the covering step: a leaf or a lattice node whose χ answers in \(\mathbb{B}\) (the Δ grade). An L-valued set enters through its α-cuts.

Template Parameters

S the set.