Kernel Function Definition Algebra