Assertion: boolean algebra's value | /r/HasProperty | the probability
Facets:
value: for any ∈
type: OTHER
Source sentences:
text: (Such a function represents a "probabilistic" subset of ; if is such a function, then for any ∈ , the value ( ) is the probability that is in the set.)