Gδ集合
集合 D を区間 [0,1] 上で定義された、各点で微分不可能な連続函数全体の成す集合とすると、D は区間 [0,1] 上の連続函数の成す集合 C([0,1]) において稠密で、距離空間としての C([0,1]) の Gδ-部分集合を含む