1
vote
1answer
302 views

Why are the different definitions of minimal model equivalent?

I'm starting to learn the minimal model program. It seems there are two definitions for a variety $X$ with only terminal singularities to be minimal. $K_X$ is nef. Every birational morphism from ...