Assertion: predicate's value | /r/HasProperty | identified with value
Facets:
value: respectively
type: MANNER
Source sentences:
text: If the values 0 and 1 in the range of a characteristic function are identified with the values false and true, respectively – making the characteristic function a predicate – , then for all relations R and predicates Φ {\displaystyle \Phi } the following two statements are equivalent: