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.