ある概周期函数の概念的な段階での定義では、"f" がある相対コンパクトな集合へ変換される必要がある。