Отображения сохраняющие порядок

Возьмём у нас есть два частично упорядоченных множества. Будем отображать одно в другое.

Отображение f сохраняет порядок если из справедливости

а <= b

для образов следует справедливость:

f(а) <= f(b)

для прообразов.

То есть - упрощённо говоря, при отображении "порядок следования"элементов сохраняется.