Предварительное условие — это оператор или набор операторов, которые описывают условие, которое должно быть истинным при вызове действия. Оператор предусловия указывает, что должно быть истиной до вызова функции.
Пример:
Чтобы определить квадратный корень числа, предварительным условием является то, что число должно быть больше нуля. После выполнения предварительного условия квадратный корень из числа отображается на консоли.