**Documentation:**A function ?f is continuous at the point ?p. This definition needs work. It will be something like this

(forall (?x ?epsilon)

(=> (*<*(norm (value ?f ?p) (value ?f ?x)) ?epsilon)

(exists (?delta)

(*<*(norm (- ?x ?p) ?delta)))))

**Arity:**2**Domain:**Function**Subrelation-Of:**Holds

- THIS DEFINITION NEEDS WORK.