离散泛函

待更新  。