Section fct_UniformSpace.
Variable (T : Type) (U : UniformSpace).
Definition fct_ball (x : T -> U) (eps : R) (y : T -> U) :=
forall t : T, ball (x t) eps (y t).

Lemma fct_ball_sym :
forall (x y : T -> U) (e : R),
fct_ball x e y -> fct_ball y e x.