分离概形

separated scheme