Assertion: predicate's value | /r/CapableOf | make for all relations r
Facets:
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: