Relationale Signatur

Einfache Sprache

Def. Relationale Signatur

Eine Signatur heißt relationale, wenn sie keine Funktionssymbole enthält. Also $\mathcal F = \emptyset.$