属于formula_36，因为formula_37。定义则其中任两个元素都不相同，于是任两个集合交集为空集。所以不交并为：在不至于混淆的情况下，也被直接记作：
推广.在范畴论的语言中无交併是集合范畴的，因此它满足相应的泛性质。这也意味着不交并是笛卡尔积的。