Relationship With Characteristic Function
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 the following two statements are equivalent:
- is the characteristic function of R;
- R is the extension of .
Read more about this topic: Extension (predicate Logic)
Famous quotes containing the words relationship with, relationship and/or function:
“We think of religion as the symbolic expression of our highest moral ideals; we think of magic as a crude aggregate of superstitions. Religious belief seems to become mere superstitious credulity if we admit any relationship with magic. On the other hand our anthropological and ethnographical material makes it extremely difficult to separate the two fields.”
—Ernst Cassirer (1874–1945)
“Poetry is above all a concentration of the power of language, which is the power of our ultimate relationship to everything in the universe.”
—Adrienne Rich (b. 1929)
“Of all the inhabitants of the inferno, none but Lucifer knows that hell is hell, and the secret function of purgatory is to make of heaven an effective reality.”
—Arnold Bennett (1867–1931)