Definition (Good reduction (prime)). $𝔭$ is a prime of good reduction for $E∕K$ if $E∕K_{𝔭}$ has good reduction.