Domain d1ir1u_: 1ir1 U:

Shown in context of the chain.