Ordered set operators

In mathematical notation, ordered set operators indicate whether an object precedes or succeeds another. These relationship operators are denoted by the unicode symbols U+227A-F, along with symbols located unicode blocks U+228x through U+22Ex.

Mathematical Operators[1]
Official Unicode Consortium code chart (PDF)
 0123456789ABCDEF
U+227x ≰ ≱ ≲ ≳ ≴ ≵ ≶ ≷ ≸ ≹ ≺ ≻ ≼ ≽ ≾ ≿
U+228x ⊀ ⊁ ⊂ ⊃ ⊄ ⊅ ⊆ ⊇ ⊈ ⊉ ⊊ ⊋ ⊌ ⊍ ⊎ ⊏
U+22Bx ⊰ ⊱ ⊲ ⊳ ⊴ ⊵ ⊶ ⊷ ⊸ ⊹ ⊺ ⊻ ⊼ ⊽ ⊾ ⊿
U+22Dx ⋐ ⋑ ⋒ ⋓ ⋔ ⋕ ⋖ ⋗ ⋘ ⋙ ⋚ ⋛ ⋜ ⋝ ⋞ ⋟
U+22Ex ⋠ ⋡ ⋢ ⋣ ⋤ ⋥ ⋦ ⋧ ⋨ ⋩ ⋪ ⋫ ⋬ ⋭ ⋮ ⋯
Notes
1.^ As of Unicode version 7.0

Examples
  • The relationship x precedes y is written x ≺ y. The relation x precedes or is equal to y is written x ≼ y.
  • The relationship x succeeds (or follows) y is written x ≻ y. The relation x succeeds or is equal to y is written x ≽ y.

Use in political science

In Political science and Decision theory, order relations are typically used in the context of an agent's choice, for example the preferences of a voter over several political candidates.

  • x ≺ y means that the voter prefers candidate y over candidate x.
  • x ∼ y means the voter is indifferent between candidates x and y.
  • x ≲ y means the voter is indifferent or prefers candidate y.[1]

References
  1. Cooley, Brandon. "Ordered Sets" (PDF) (Lecture note for: Introduction to Mathematics for Political Science (2019) at Princeton University). pp. 2–3. Retrieved 2021-05-11.

See also
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.