Definition of: correct Fib object

An Fib object is correct, if it meets the above Fib syntax, all the variables, which it contains, are defined above it and each contained Fib element is a correct Fib element. An correct root-element must belonge to the correct Fib object. For a Fib element to be correct, it must fit its root-element (that is, among other things, correct [number of] dimensions and domains).

Correct Fib objects are also referred to shortly as Fib objects.

A Fib element suits the above presented Fib syntax, except that no Fib elements are contained in it.

In the following examples, comments are introduced with "//". These are not part of the displayed Fib elements.

Examples:
Correct Fib objects (It is assumed that the associated root-element is correct and fits.):

$$\begin{eqnarray*} Obj &=& pr( (3)_{colorGrayscale}, p((1;5)))\\ Obj &=& list( f... ..., exp( 3, -2)), 2 ), pr( (205, x ,x)_{colorRGB}, p((3;x)) ) )\\ \end{eqnarray*}$$

Fib elements ($Elm$):

$$\begin{eqnarray*} Elm &=& p((3;2;5)) \textnormal{//3-dimensional}\\ Elm &=& for... ...the implementation it is a null pointer)}\\ Elm &=& p((2;5))\\ \end{eqnarray*}$$

Neither a Fib element nor a correct Fib object ($Woe$, $null$ is no object [in the implement it is a null pointer]) :

$$\begin{eqnarray*} Woe &=& list( for( x, [(3;7)], null), null)\\ Woe &=& fun( x,... ...B vector requires}\\ && \textnormal{3 parameters /elements.}\\ \end{eqnarray*}$$