Unter einem atomaren Ausdruck versteht man Ausdrücke der Form ${\displaystyle {}s=t}$, wobei ${\displaystyle {}s}$ und ${\displaystyle {}t}$ Terme sind, und der Form ${\displaystyle {}Rt_{1}\ldots t_{n}}$, wobei ${\displaystyle {}R}$ ein ${\displaystyle {}n}$-stelliges Relationssymbol ist und ${\displaystyle {}t_{1},\ldots ,t_{n}}$ Terme sind.