dedekind::sequences::IsCountablyIndexedFamily Concept Reference

An indexed family whose index magnitude is finite or countably infinite. More...

Concept definition

template<typename F>
concept dedekind::sequences::IsCountablyIndexedFamily = 
    IsIndexedMorphismFamily<F> && IsCountable<typename F::cardinality_type>

Detailed Description

An indexed family whose index magnitude is finite or countably infinite.