>正しくなければ戻り値をboolにしてfalseをreturnしてやるくらいで十分です。

つまり、未定義ではなく何らかの保証をするってことだな。