In mathematics, positive definiteness is a property of any object to which a bilinear form or a sesquilinear form may be naturally associated, which is positive-definite.

In quantum mechanics, counterfactual definiteness is the ability to speak "meaningfully" of the definiteness of the results of measurements that have not been performed (i.e., the ability to assume the existence of objects, and properties of objects, even when they have not been measured).Inge S. Helland, "A new foundation of quantum mechanics," p. 386: "Counterfactual definiteness is defined as the ability to speak with results of measurements that have not been performed (i.e., the ability to assure the existence of objects, and properties of objects, even when they have not been measured").W. M. de Muynck, W. De Baere, and H. Martens, "Interpretations of Quantum Mechanics, Joint Measurement of Incompatible Observables, and Counterfactual Definiteness" p. 54 says: "Counterfactual reasoning deals with nonactual physical processes and events and plays an important role in physical argumentations.