函数场的理想