The state of an expression or a variable (for example, when a result can be either true or false, or equal or not equal).