Ideal, first-kind measurements in a proposition-state structure