真扩张

proper extension