dedekind::topology::IsNeighborhood Concept Reference

A set that "surrounds" a point p. More...

Concept definition

template<typename N, typename T>
concept dedekind::topology::IsNeighborhood = 
    IsOpen<N> &&
    
    
    
    
    !dedekind::category::IsInitialObject<N> && requires(N n, T p) {
      { n(p) } -> IsΩ;
    }

Detailed Description

A set that "surrounds" a point p.

Synthesized from the Open set morphology.