Depending on the application of the magic reduction transformation different strategies for handling undefined magic facts can be realized.
The region occupied by the metapopulation remains undefined but its boundaries can be found where the connectivity between populations tend to zero.
In the framework of partial setoids, one distinguishes between defined and undefined elements.
If a condition of the element is undefined and its value is between the guards (inclusively), that condition must become false.
An undefined "intelligence" must therefore have been involved in the design and creation of the world and of man and other living organisms.
Thus, this system perturbs a known interaction, rather than probing an undefined and/or variable one.
The term top empty is also undefined, and hence can take any value.
In this paper, we treat it as an undefined term for a basic, intuitively recognizable construct.
