Quantum conditional operator and a criterion for separability