Linear Function Definition Algebra