[001O] Definition 6.2·a.

A cartesian fibration $E$ over $B$ is said to be a right fibration when all displayed morphisms in $E$ are cartesian.