From Wiktionary, the free dictionary
Jump to navigation Jump to search
See also:
U+227A, ≺
PRECEDES

[U+2279]
Mathematical Operators
[U+227B]

Translingual

[edit]

Symbol

[edit]

  1. (set theory) A generic strict order relation.
  2. (logic) is an elementary substructure of