c
In some definitions, it is possible to assign a set of labels, so that
λ
:
→
2
Lab
.
→ 2Lab. → 2Lab.