Quantum Logics and Ideal Measurements of the First Kind