A relational symbol representing successive approximation or near succession in numerical analysis and approximation theory.