Simply connected domain (source code)

= Simply connected domain

A domain is simply connected when every closed path in it can be continuously contracted to a point while remaining in the domain.

Such a domain is a <simply connected space>.