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:
“Guilty, guilty, guilty is the chant divorced parents repeat in their heads. This constant reminder remains just below our consciousness. Nevertheless, its presence clouds our judgment, inhibits our actions, and interferes in our relationship with our children. Guilt is a major roadblock to building a new life for yourself and to being an effective parent.”
—Stephanie Marston (20th century)
“Christianity as an organized religion has not always had a harmonious relationship with the family. Unlike Judaism, it kept almost no rituals that took place in private homes. The esteem that monasticism and priestly celibacy enjoyed implied a denigration of marriage and parenthood.”
—Beatrice Gottlieb, U.S. historian. The Family in the Western World from the Black Death to the Industrial Age, ch. 12, Oxford University Press (1993)
“It is not the function of our Government to keep the citizen from falling into error; it is the function of the citizen to keep the Government from falling into error.”
—Robert H. [Houghwout] Jackson (1892–1954)