A precondition is some condition which must be satisfied before running a given section of code. It may be specified in code via assertions, or in the documentation.
If a precondition is violated, errors or security issues may occur. A precondition states what is required for the section of code to run correctly.
