Expressing Properties of Binary Relations in RA
The following table shows how many of the usual properties of binary relations can be expressed as succinct RA equalities or inequalities. Below, an inequality of the form A≤B is shorthand for the Boolean equation A∨B = B.
The most complete set of results of this nature is chpt. C of Carnap (1958), where the notation is rather distant from that of this entry. Chpt. 3.2 of Suppes (1960) contains fewer results, presented as ZFC theorems and using a notation that more resembles that of this entry. Neither Carnap nor Suppes formulated their results using the RA of this entry, or in an equational manner.
| R is | If and only if: |
|---|---|
| Functional | R•R ≤ I |
| Total or Connected | I ≤ R•R (R is surjective) |
| Function | functional and total. |
| Injective |
R•R ≤ I (R is functional) |
| Surjective | I ≤ R•R (R is total) |
| Bijection | R•R = R•R = I (Injective surjective function) |
| Reflexive | I ≤ R |
| Coreflexive | R ≤ I |
| Irreflexive | R ∧ I = 0 |
| Transitive | R•R ≤ R |
| Preorder | R is reflexive and transitive. |
| Antisymmetric | R ∧ R ≤ I |
| Partial order | R is an antisymmetric preorder. |
| Total order | R is a total partial order. |
| Strict partial order | R is transitive and irreflexive. |
| Strict total order | R is a total strict partial order. |
| Symmetric | R = R |
| Equivalence | R•R = R. R is a symmetric preorder. |
| Asymmetric | R ≠ R |
| Dense | R ∧ I– ≤ (R ∧ I–)•(R ∧ I–). |
Read more about this topic: Relation Algebra
Famous quotes containing the words expressing, properties and/or relations:
“Even voting for the right is doing nothing for it. It is only expressing feebly your desire that it should prevail. A wise man will not leave the right to the mercy of chance, nor wish it to prevail through the power of the majority.”
—Henry David Thoreau (1817–1862)
“A drop of water has the properties of the sea, but cannot exhibit a storm. There is beauty of a concert, as well as of a flute; strength of a host, as well as of a hero.”
—Ralph Waldo Emerson (1803–1882)
“Major [William] McKinley visited me. He is on a stumping tour.... I criticized the bloody-shirt course of the canvass. It seems to me to be bad “politics,” and of no use.... It is a stale issue. An increasing number of people are interested in good relations with the South.... Two ways are open to succeed in the South: 1. A division of the white voters. 2. Education of the ignorant. Bloody-shirt utterances prevent division.”
—Rutherford Birchard Hayes (1822–1893)