Definify.com

Definition 2024

≺

≺

≺	U+227A, ≺ (LaTeX: `\prec`) PRECEDES

← ≹
[U+2279]

Mathematical Operators

≻ →
[U+227B]

See also: ⊀

Translingual

Symbol

≺

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