一 形式的拓展