Implicit Function Definition Algebra