Definition:Strictly Precede/Notation
Jump to navigation
Jump to search
Strictly Precede: Notation
When $a \preceq b$ and $a \ne b$, it is usual to denote this with the symbol:
- $a \prec b$
and similar derived notation for other ordering symbols.