The Hoare triple $latex \{P\}\,c\,\{Q\}$ has a very simple meaning, namely: $latex \forall\sigma, \sigma’\ldotp \sigma \in P \wedge (\sigma,\sigma’) \in c \longrightarrow \sigma’\…| Wickopedia