Ответ:

Есть такая вещь, как отношение порядка. Этот символ обозначает именно его. Кроме того, постольку поскольку внизу нет черточки, это отношение строго порядка.

Теперь определение:

Отношение порядка - это бинарное отношение со следующими свойствами:

1) х не состоит в этом отношении сам с собой

2) если х состоит в этом отношении с у, то у с х не состоит в этом отношении

3) если х состоит в отношении с у и у состоит в отношении с з, то х состоит в отношении с з