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:

    “Forty years after a battle it is easy for a noncombatant to reason about how it ought to have been fought. It is another thing personally and under fire to have to direct the fighting while involved in the obscuring smoke of it.”
    —Herman Melville (1819–1891)

    “The writer’s language is to some degree the product of his own action; he is both the historian and the agent of his own language.”
    —Paul De Man (1919–1983)

    “Children, who play life, discern its true law and relations more clearly than men, who fail to live it worthily, but who think that they are wiser by experience, that is, by failure.”
    —Henry David Thoreau (1817–1862)