Definition
A causal set (or causet) is a set with a partial order relation that is
- Reflexive: For all, we have .
- Antisymmetric: For all, we have .
- Transitive: For all, we have implies .
- Locally finite: For all, we have card.
Here card denotes the cardinality of a set . We'll write if and .
The set represents the set of spacetime events and the order relation represents the causal relationship between events (see causal structure for the analogous idea in a Lorentzian manifold).
Although this definition uses the reflexive convention we could have chosen the irreflexive convention in which the order relation is irreflexive. The causal relation of a Lorentzian manifold (without closed causal curves) satisfies the first three conditions. It is the local finiteness condition that introduces spacetime discreteness.
Read more about this topic: Causal Sets
Famous quotes containing the word definition:
“Perhaps the best definition of progress would be the continuing efforts of men and women to narrow the gap between the convenience of the powers that be and the unwritten charter.”
—Nadine Gordimer (b. 1923)
“No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
—Florence Nightingale (1820–1910)
“I’m beginning to think that the proper definition of “Man” is “an animal that writes letters.””
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)