Post-fader: the effects are applied to the sound after thefader, allowing the sound to fade out naturally rather than stopping suddenly when the DJ cuts the source audio with the faders.
The emphasis, of course, is on performance here with nary a rotary nor fader in sight (we imagine you'd be using your other controller for that, right?).