dedekind::topology::IsConvexMagmoid Concept Reference

Convex sets form a Magmoid under the intersection operation. More...

Concept definition

template<>
concept dedekind::topology::IsConvexMagmoid = 

Detailed Description

Convex sets form a Magmoid under the intersection operation.

We use the Categorical Magmoid here to avoid a circular dependency on the Algebra module's Magma.