《実数の集合》の外点

「《実数の集合》の外点」定義。コラムの型崩れを修正。