Direct Product - Direct Product of Binary Relations

Direct Product of Binary Relations

On the Cartesian product of two sets with binary relations R and S, define (a, b) T (c, d) as a R c and b S d. If R and S are both reflexive, irreflexive, transitive, symmetric, or antisymmetric, relation T has the same property. Combining properties it follows that this also applies for being a preorder and being an equivalence relation. However, if R and S are total relations, T is in general not.

Read more about this topic:  Direct Product

Famous quotes containing the words direct, product and/or relations:

    “Science is a system of statements based on direct experience, and controlled by experimental verification. Verification in science is not, however, of single statements but of the entire system or a sub-system of such statements.”
    —Rudolf Carnap (1891–1970)

    “Everything that is beautiful and noble is the product of reason and calculation.”
    —Charles Baudelaire (1821–1867)

    “Actually, the laboring man has not leisure for a true integrity day by day; he cannot afford to sustain the manliest relations to men; his labor would be depreciated in the market.
    He has no time to be anything but a machine.”
    —Henry David Thoreau (1817–1862)