実用上はこれはあまり問題ではなく、この仮定が満たされない場合には射にその始域と終域とを（順序三つ組の第二、第三成分として）追加してやれば回避することができる。
实际上，这不是一个问题，因为如果他们不是不交的，域和陪域可以加到态射上，（例如，作为一个有序三元组的第二和第三个分量），使得它们不交（互斥，disjoint）。