Ordered relation

From PKC
Revision as of 07:16, 3 July 2022 by Benkoo (talk | contribs)
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[1]. 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:

  1. Prefix Expression
  2. Postfix Expression


References

  1. 1.0 1.1 Scott, Dana (January 1, 1970). "Outline of a Mathematical Theory of Computation". local page: Oxford University Computing Laboratory Programming Research Group.  Cite error: Invalid <ref> tag; name "Outline" defined multiple times with different content

Related Pages