Domain d1bija_: 1bij A:

Shown in context of the chain.