semi-separated space