===========================
ThisIsAMathematicalFunction
===========================
.. rubric:: Description


A mathematical function is declared. The entity type
ClassOfFunctionalMapping is given.


.. rubric:: Definition


A mathematical function (x1) is marked as such.


.. image:: ThisIsAMathematicalFunction.svg


::

    
    ThisIsAMathematicalFunction(x1) <-> 
        ClassOfFunctionalMapping(x1) .
    

.. rubric:: Roles

1. hasThis

.. rubric:: Restrictions

Role filler of hasThis must have entity type ClassOfFunctionalMapping.