Relation CONTINUOUS-AT

• Defined in theory: Cml
• Source code: cml.lisp

Slots on this relation:

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

Notes:

• THIS DEFINITION NEEDS WORK.