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:
“I, who travel most often for my pleasure, do not direct myself so badly. If it looks ugly on the right, I take the left; if I find myself unfit to ride my horse, I stop.... Have I left something unseen behind me? I go back; it is still on my road. I trace no fixed line, either straight or crooked.”
—Michel de Montaigne (1533–1592)
“The guys who fear becoming fathers don’t understand that fathering is not something perfect men do, but something that perfects the man. The end product of child raising is not the child but the parent.”
—Frank Pittman (20th century)
“So soon did we, wayfarers, begin to learn that man’s life is rounded with the same few facts, the same simple relations everywhere, and it is vain to travel to find it new.”
—Henry David Thoreau (1817–1862)