Developable space

Symbol-free definition
A topological space is termed developable if it has a development.

Stronger properties

 * Moore space is a regular developable space