See also:
U+227A, ≺
PRECEDES

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

Translingual

Symbol

  1. (set theory) A generic strict order relation.
  2. (logic) is an elementary substructure of
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.