Quelle est la signification du symbole $ top $ dans un triple hoare?

Question

J'étudie la vérification du programme et je suis tombé sur le triple suivant:
$$ { top } ; p ; {y = (x + 1) } $$ Quelle est la signification du symbole $ top $ sur la condition préalable? Cela signifie-t-il que P $ peut prendre des commentaires?