Definition:Non-Degenerate Connected Set