p>#$Function-MathematicalObject   mathematical type of functions    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**</p>
<p>    The collection of functions and a specialization of #$Relation-MathematicalObject. Each instance of #$Function-MathematicalObject is a many-one relation that represents a mapping from one set of things (the function's #$relationDomain) to another set of things (its #$relationRange). As a many-one relation, a function maps each thing in its domain to exactly one thing in