Интерпретация действия моноида эндоморфизмов на рациональных числах

В языке первого порядка интерпретируется действие моноида $M$ вложений структуры $({\mathbb Q},\le)$ на множестве $\mathbb Q$ в $(M,\circ)$. Аналогичный результат устанавливается и для моноида $E$ эндоморфизмов структуры $({\mathbb Q},\le)$.