dedekind::sets::detail_complement_involution Namespace Reference

Typedefs
using	UnivSizeSet

Detailed Description

expressions__Complement_Is_An_Involution

The set complement is an involution: ~~A ≡ A at the type level for a subobject. ~A is the reducer's Not node, and operator~ peels Not<Not<A>> → A at the leaf (the reducer's ¬¬A→A), so the double-negation is structurally self-inverse.

Typedef Documentation

UnivSizeSet

using dedekind::sets::detail_complement_involution::UnivSizeSet

Initial value:

 Comprehension<𝔸<std::size_t, dedekind::category::Boole>,
                                  UniversalPredicate<std::size_t>>