Independent Variable Definition Algebra