Function THE-IDENTITY-UNARY-SCALAR-FUNCTION-FOR-DOMAIN

• Defined in theory: Unary-scalar-functions
• Source code: unary-scalar-functions.lisp

Slots on this function:

Documentation:

The the-identity-unary-scalar-function-for-domain is a scalar function which has a range = 1 for the exact-domain ?domain; f(x) = 1 forall x in ?domain.

Instance-Of: Function

Arity: 2

Range: Unary-scalar-function-quantity

Other Related Axioms:

(=> (The-Identity-Unary-Scalar-Function-For-Domain $X $Y)
    (Unary-Scalar-Function-Quantity $Y))

(=> (= (The-Identity-Unary-Scalar-Function-For-Domain ?Domain) ?F)
    (Forall (?T)
            (=> (Instance-Of ?T ?Domain)
                (= (Value ?F ?T) Identity-Scalar))))

(=> (= (The-Identity-Unary-Scalar-Function-For-Domain ?Domain) ?F)
    (Exact-Domain ?F ?Domain))

(=> (= (The-Identity-Unary-Scalar-Function-For-Domain ?Domain) ?F)
    (Subclass-Of ?Domain Scalar-Quantity))