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