Equicontinuous family of functions

From Diffgeom

Template:Function family property

Definition

Let be a family of functions from a topological space to a metric space . Then we say that the functions are equicontinuous if given any , and any , there is an open set such that .