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