Es un enunciado de un hecho que debe ser cierto durante la ejecución del programa. Podemos utilizar aserciones para anunciar explícitamente nuestras suposiciones y para detectar más fácilmente errores de programación.