Let be a set, a metric space and a sequence of functions from to , and another function.
If for every there exists an integer such that