M sei eine beliebige Menge.
Für jedes 1 ![]() ![]() Für jedes 1 ![]() ![]() ![]() Für jedes 1 ![]() ![]() Dann nennt man (M,R1,R2, ... , Rp, F1,F2, ... , Fm, c1, ... ck) eine mathematische Struktur. Ist m=k=0, so ist es eine Relationalstruktur. Ist p=0, so ist es eine algebraische Struktur oder Algebra. |
Beispiele:
Im Prinzip kann man jede n-stellige Operation
F: M × ... × M durch eine n+1-stelligeRelation ersetzen,
und zwar durch R, wobei
(x1,x2,...,xn,y) R
falls F(x1,x2,...,xn)=y ist.