Stelligkeit
aus Wikipedia, der freien Enzyklopädie
Der Begriff Stelligkeit (auch: Arität) steht für die Anzahl der Argumente einer Abbildung bzw. eines Operators.
Eine k-stellige Abbildung ist also eine Abbildung mit k Argumenten.
, z.B. ist 
eine zweistellige Abbildung.
Dabei vereinbart man, dass eine 0-stellige Abbildung kein variables Argument hat, somit konstant sein muss.
, z.B. f() = 3, dabei ist () irgendein fixes Element.
Man kann Stelligkeit auch anders interpretieren, nämlich dass eine k-stellige Abbildung ein Tupel 
der Länge k als Argument hat. Also statt k Einzelobjekten, nur ein Aggregat mit k Komponenten.
Z.B. f(()) = 3 oder f((x,y)) = x + y.
Es passt auch schön mit der Definition zusammen, dass ein Tupel x der Länge k, wenn die Komponenten alle aus der gleichen Grundmenge M stammen, sich als 
schreibt, wobei man M0 = {()} mit | M | = 1 definiert.
