 Post-measurement state

The post-measurement state is the conditional quantum state after a specified measurement outcome. For a projective measurement, it is given by the Lüders rule.