Let be a type and be a types, - be a-premetric space . An and endofunction is be a-premetric space. An function is continuous at a point if the limit of approaching exists and is equal to
A function is pointwise continuous if it is continuous at all points :