3: Gedefinieerd ()
Resultaat is expliciet gedefinieerd en vooraf toetsbaar.