I call that a precondition regardless of whether the code checks it or not. Your docs list what the function assumes, rather than letting the user guess or incorrectly mix up implementation details with specifications.