equicontinuous
not defined yet