1
Ranked alphabet is very often used in Ranked Trees definition, like here for instance. In that example for given set $\Sigma=\{a,b,c\}$ ranks assigned by arity function $ar : \Sigma\rightarrow\mathcal{N}$ as:
$ar(a)=2, ar(b)=2, ar(c)=1$.
And Ranked Tree over $\Sigma$ is defined as:
$T_{\Sigma_...