 Definition. A strategy \(\sigma\) is said to be locally superior if there exists a neighbourhood \(U\) around \(\sigma\) such that for all strategies \(\mu \in U\), where \(\mu\neq \sigma\), it is the case that \(\pi( \sigma \mid \mu) &gt; \pi (\mu \mid \mu)\).