16.1 半无限概述