Ordered relation

From PKC
Revision as of 12:41, 17 July 2022 by Benkoo (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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 contentCite error: Invalid <ref> tag; invalid names, e.g. too many. Ordered relations are particularly useful in representing causal relations[2].

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:

  1. Prefix Expression
  2. Postfix Expression


References

  1. Scott, Dana (January 1, 1970). "Outline of a Mathematical Theory of Computation". local page: Oxford University Computing Laboratory Programming Research Group. 
  2. Pearl, Judea (2018). The Book of Why: The New Science of Cause and Effect. local page: Basic Books. ISBN 978-0-465-09761-6. 

Related Pages