Ordered relation
Jump to navigation
Jump to search
An ordered relation, or a directed relation is the generic building block of Partially ordered sets[1]. It can be visualized as an arrow that relates two objects with an explicit direction. The directionality of a directed relation breaks the symmetry of symbolic representation, which is the smallest amount of information, therefore, directed relations can be used to represent any other kinds of information content. Ordered relations are particularly useful in representing causal relations.
Prefix and Postfix Expressions
Since order matters, the sequence of how certain symbols appears in an expression also matters a lot. There are two kinds of expressions:
References
- ↑ Scott, Dana (January 1, 1970). "Outline of a Mathematical Theory of Computation". local page: Oxford University Computing Laboratory Programming Research Group.
Related Pages